Séminaire Bourbaki vol. 1971/72 Exposés 400-417 — A Dold, A. Dold