@article{GAU_1985-1986__13__15_0,
     author = {B\'elair, Luc},
     title = {Le th\'eor\`eme de {MacIntyre} sur les ensembles d\'efinissables dans les corps $p$-adiques},
     journal = {Groupe de travail d'analyse ultram\'etrique},
     eid = {2},
     pages = {15--30},
     publisher = {Secr\'etariat math\'ematique},
     volume = {13},
     year = {1985-1986},
     zbl = {0692.03021},
     language = {fr},
     url = {http://www.numdam.org/item/GAU_1985-1986__13__15_0/}
}