Variétés différentielles et analytiques Fascicule de résultats - Bourbaki, N. (Springer Berlin Heidelberg, 2007)