Grochowski Marek
Differential properties of the sub-Riemannian distance function