Surface measure on, and the local geometry of, sub-Riemannian manifolds.

We prove an integral formula for the spherical measure of hypersurfaces in equiregular sub-Riemannian manifolds. Among various technical tools, we establish a general criterion for the uniform convergence of parametrized sub-Riemannian distances, and local uniform asymptotics for the diameter of small metric balls.