Homotopy properties of horizontal loop spaces and applications to closed sub-riemannian geodesics - Lerario, A; Mondino, A (Transactions of the American Mathematical Society, 2019)