  We consider a family of $C^1$ vector fields satisfying a suitable higher
order involutivity condition. We discuss the definition of commutators, the
regularity of Sussmann's orbits and the Poincar\'e inequality.
