Sub-Riemannian manifold