Résume | Dans cet exposé nous exposerons les grandes lignes d'une démonstration, obtenue en collaboration avec W. Soergel et G. Williamson, de la formalité de la dg-algèbre des auto-extensions de la somme directe des faisceaux parité sur la variété des drapeaux d'un groupe réductif, pour la stratification de Bruhat, et pour des coefficients dans un corps fini de caractéristique supérieure à une borne explicite. Cette dg-algèbre ``contrôle'' cette catégorie dérivée constructible; ce résultat permet donc d'en donner une description ``combinatoire''. Il permet également de construire un analogue modulaire de la dualité de Koszul de Beilinson-Ginzburg-Soergel. |