Le théorème de MacIntyre sur les ensembles définissables dans les corps p -adiques Luc Bélair (1985/1986) Groupe de travail d'analyse ultramétrique