Résume | Soit K un corps valué algébriquement clos complet de rang 1. Soit X une courbe algébrique sur K et X^\mathrman son analytifié au sens de Berkovich. Nous montrerons comment associer à X^\mathrman, de façon fonctorielle, un ensemble définissable Y dans un langage naturel. On obtient ainsi une preuve alternative d’un résultat de Hrushovski-Loeser sur l’iso-définissabilité des courbes. Notre association étant explicite nous permettra de donner une description concrète des sous-ensembles définissables de Y. Il s’agit d’un travail un commun avec Jérôme Poineau.
|