Le théorème de Gromov sur la croissance polynomiale, d'après Bruce Kleiner, I

Kleiner a donné en 2007 une nouvelle démonstration du fameux théorème de Gromov sur les groupes à  croissance polynomiale, basée d'une part sur des idées de Colding-Minicozzi sur les fonctions harmoniques sur les variétés à  croissance polynomiale, d'autre part sur des idées de Korevaar-Schoen sur la propriété (T) de Gromov. Nous expliquerons les étapes principales de la preuve de Kleiner.