%0 Journal Article
%A Bélair, Luc
%T Le théorème de MacIntyre sur les ensembles définissables dans les corps $p$-adiques
%J Groupe de travail d'analyse ultramétrique
%D 1985-1986
%P 15-30
%V 13
%I Secrétariat mathématique
%U http://archive.numdam.org/item/GAU_1985-1986__13__15_0/
%G fr
%F GAU_1985-1986__13__15_0