Global Riemannian geometry : curvature and topology - Hurtado, Ana (Advanced courses in mathematics, CRM Barcelona,, 2020)