  We establish the existence of smooth critical sub-solutions of the
Hamilton-Jacobi equation on compact manifolds for smooth convex Hamiltonians,
that is in the context of weak KAM theory, under the assumption that the Aubry
set is the union of finitely many hyperbolic periodic orbits.
