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 |F|^d de 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 cette 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 de 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, grace 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.
