Séminaire Bourbaki. Vol. 1979/80 : exposés 543-560 : avec table par noms d'auteurs de 1967/68 à 1979/80 (Springer, 1981)