Sur le développement spectral de la formule des traces d’Arthur-Selberg sur les corps de fonctions
On établit le développement spectral de la formule des traces d’Arthur-Selberg sur les corps de fonctions pour un groupe réductif connexe déployé sur un corps fini en partant seulement du théorème de décomposition spectrale de Langlands. Notre preuve généralise la méthode de Lafforgue dans le cas des groupes linéaires .