Le théorème d’approximation de Lang-Weil donne une estimation du nombre de points dans une variété $V$ (géométriquement intègre) sur un corps fini $F$: il y en a de l’ordre de $|F|^d$ où $d$ est la dimension de la variété $V$. Puisque $F$ est le corps fixé d’un automorphisme de Frobenius $\phi$, cette question peut se reformuler comme celle d’estimer le nombre de points dans l’intersection de la diagonale de $V^2$ avec le graphe de $\phi$. Dans cet exposé, nous considérerons une généralisation, due à Hrushovski, de cet énoncé à d’autres variétés que la diagonale et nous exposerons les ingrédients d’une preuve récente par Shuddhodan et Varshavsky.

Nous exposerons aussi certaines des nombreuses conséquences de cet énoncé en dynamique algébrique, ainsi qu’en théorie des modèles. L’une d’entre elle, particulièrement frappante, est que, de même qu'Ax avait pu, grâce aux estimations de Lang-Weil, donner une caractérisation de la  "théorie des corps finis", ces estimations tordues permettent de caractériser la "théorie des automorphismes de Frobenius" et de montrer que c’est la théorie d’un automorphisme générique.