TBA

Clozel, Harris et Taylor ont proposé en 2008 pour des groupes unitaires compacts de dimension quelconque, une généralisation du lemme d'Ihara pour $GL_2$. Initialement ce lemme d'Ihara devait servir à faire de l’augmentation du niveau avant que R. Taylor développe une nouvelle technique (Ihara’s avoidance). Dans cet exposé, dans le cas dit limite classique auquel on peut se ramener par changement de base, j’expliquerai comment les énoncés d’augmentation du niveau permettent de prouver le lemme d’Ihara. La preuve fait un usage intensif du $\mathrm{Z}_l$-complexe des cycles proches sur les KHT variétés de Shimura.