Local solvability in Cc∞ of over-determined systems of vector fields. - Cordaro, Paulo Domingos; Hounie, Jorge (Journal of Functional Analysis, 1989)