Families of vector fields which generate the group of diffeomorphisms
  Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M). 
Andrei Agrachev (SISSA and MIAN), Marco Caponigro (SISSA)