Telefona gönder: Modeles transitifs de la theorie des ensembles de Zermelo-Fraenkel.