differential geometry, dynamics, non-holonomic