Lorentzian geometry and Einstein equations