Le théorème de Macintyre, un théorème de Chevalley p-adique

RESUME. Nous exposons une demonstration du theoreme de A. Macintyre sur la structure des ensembles algebriquement definissables dans les corps p-adiques en illustrant des techniques elementaires de theorie des modeles. ABSTRACT. We illustrate elementary methods from model theory through a proof of A. Macintyre’s theorem on the structure of algebraically definable subsets of p-adic space.