%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 d'étude d'analyse ultramétrique
%D 1985-1986
%P 15-30
%V 13
%I Secrétariat mathématique
%U https://www.numdam.org/item/GAU_1985-1986__13__15_0/
%G fr
%F GAU_1985-1986__13__15_0