Résume | La complétude définissable est une propriété qui n'est pas forcément préservée dans une expansion modérée de corps valués. Par exemple, il y a des expansions C-minimales de corps valués algébriquement clos n'ayant pas cette propriété. En revanche, je montrerai dans cet exposé que toute expansion P-minimale d'un corps p-adiquement clos K satisfait une version forte de complétude définissable : toute famille définissable d'ensembles emboîtés, fermés et bornés est d'intersection non-vide. On en déduit entre autres qu'une telle expansion est polynômialement bornée (répondant positivement à une question de R. Cluckers et I. Halupczok). Il s'agit d'un travail en commun avec Françoise Delon. |