Manifolds of smooth maps IV : theorem of De Rham P. Michor (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques