@book{SB_1979-1980__22_,
     author = {Collectif},
     title = {S\'eminaire {Bourbaki} : vol. 1979/80, expos\'es 543-560},
     series = {S\'eminaire Bourbaki},
     year = {1981},
     publisher = {Springer-Verlag},
     address = {Berlin/Heidelberg},
     number = {22},
     url = {https://www.numdam.org/item/SB_1979-1980__22_/}
}