Variational methods in Lorentzian geometry. ([2017?])