Analyse sur les variétés (Metz, 1979). (Société mathématique de France, 1980)