Non-holonomic mechanics A geom