Modeles transitifs de la theorie des ensembles de Zermelo-Fraenkel - Mostowski, Andrzej (Seminaire de mathematiques superieures, 1971)