  We prove the existence of a critical subsolution of the Hamilton-Jacobi
equation which is differentiable with Lipschitz differential, improving a
previous result of Fathi and Siconolfi. This text is a consolidated version
with a minor mistake corrected from the published version.
