Aubry-Mather theory, Symplectic homegenization, Mather's beta function, Hofer distance, Viterbo distance, Group of Hamiltonian diffeomorphisms