Cet exposé porte sur le théorème d'Ax suivant : toute application polynômiale de Cn dans Cn injective est bijective.
J'introduirai quelques notions de base de théorie des modèles pour prouver ce résultat. Je reprendrai pour cela dans ses grandes lignes une partie d'un exposé de François Charles, beaucoup plus complet sur la question. D'ailleurs ce mec est un dieu.
Quelques liens sur le sujet :