La démonstration de Furstenberg du théorème de Szemerédi sur les progressions arithmétiques
We prove that there is a small but fixed positive integer such that for every prime larger than a fixed integer, every subset of the integers modulo which satisfies and is contained in an arithmetic progression of length . This is the first result of this nature which places no unnecessary restrictions on the size of .