Weak KAM theorems for subriemannian Lagrangians depending on the unknown function

We extend some results of weak KAM theory to Lagrangians that are defined only on the horizontal distribution of a subriemannian manifold and depend on the unknown function