@incollection{SB_1968-1969__11__187_0,
     author = {Krivine, Jean-Louis},
     title = {Th\'eor\`emes de consistance en th\'eorie de la mesure de {R.} {Solovay}},
     booktitle = {S\'eminaire Bourbaki : vol. 1968/69, expos\'es 347-363},
     series = {S\'eminaire Bourbaki},
     note = {talk:357},
     pages = {187--197},
     publisher = {Springer-Verlag},
     number = {11},
     year = {1971},
     zbl = {0231.02084},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1968-1969__11__187_0/}
}