Riemannian manifolds or geodesic metric spaces of finite or infinite dimension occur in many areas of mathematics. We are interested in the interplay between their local geometry and global ...