Liouville-Arnold theorem, Integrability, Hamiltonian systems, Aubry-Mather theory