Text this: Séminaire Bourbaki [electronic resource] Vol. 1979/80. Exposés 543-560 Avec table par noms d'auteurs de 1967/68 a 1979/80 / edited by N. Bourbaki.