@incollection{SB_1977-1978__20__123_0,
     author = {Cartier, Pierre},
     title = {Logique, cat\'egories et faisceaux},
     booktitle = {S\'eminaire Bourbaki : vol. 1977/78, expos\'es 507-524},
     series = {S\'eminaire Bourbaki},
     note = {talk:513},
     pages = {123--146},
     publisher = {Springer-Verlag},
     number = {20},
     year = {1979},
     mrnumber = {554218},
     zbl = {0406.03074},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1977-1978__20__123_0/}
}