TY  - JOUR
AU  - Bélair, Luc
TI  - Le théorème de MacIntyre sur les ensembles définissables dans les corps $p$-adiques
JO  - Groupe de travail d'analyse ultramétrique
PY  - 1985-1986
SP  - 15
EP  - 30
VL  - 13
PB  - Secrétariat mathématique
UR  - http://archive.numdam.org/item/GAU_1985-1986__13__15_0/
LA  - fr
ID  - GAU_1985-1986__13__15_0
ER  -