发送短信 : Modeles transitifs de la theorie des ensembles de Zermelo-Fraenkel.