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