Résume | Comme dans le cas classique dû à Arthur-Selberg, notre formule des traces est une égalité entre deux termes l'un dit spectral l'autre géométrique. Dans notre cas, ces derniers sont des formes linéaires $p$-adiques sur l'idéal des opérateurs de Hecke complètement continus. Dans cet exposé, nous expliquerons la définition de ces termes et nous esquisserons la preuve de cette formule. |