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