Measures of transverse paths in sub-Riemannian geometry

We define a class of lengths of paths in a sub-Riemannian manifold. It includes the length of horizontal paths but also measures the length of transverse paths. It is obtained by integrating an infinitesimal measure which generalizes the norm on the tangent space. This requires the definition and the study of the metric tangent space (in Gromov's sense). As an example, we compute those measures in the case of contact sub-Riemannian manifolds.