An application of Aubry-Mather theory in Lorentzian geometry.