Aubry-Mather, Weak KAM, quotient Aubry set, Sard's lemma, Subsolutions, Hamilton-Jacobi.