L'o-minimalité est une notion mise en évidence dans les années 80 (principalement par van den Dries, Pillay, et Steinhorn), qui représente un cadre possible pour la "géométrie (réelle) modérée". Il s'agit, afin d'exclure les comportements pathologiques de fonctions réelles, de restreindre l'étude à des classes simples de fonctions, via une condition de définissabilité. Il est intéressant de noter que cette notion est aujourd'hui utilisée dans des domaines aussi divers que la géométrie arithmétique, l'optimisation, ou l'étude de réseaux de neurones. La trichotomie de Zilber, dont la formulation modèle-théorique remonte également […]