Deux groupes sont dits élémentairement équivalents s’ils vérifient les mêmes énoncés du premier ordre, c’est-à-dire les mêmes énoncés mathématiques dont les variables désignent uniquement des éléments d’un groupe. Dans les années 40, Tarski a posé la question suivante : les groupes libres de rang au moins deux sont-ils élémentairement équivalents ? Cette question est longtemps restée ouverte, et ce n’est qu’au début des années 2000 qu’une réponse affirmative a finalement été apportée par Sela et par Kharlampovich et Myasnikov dans deux séries de travaux volumineuses. Dans mon exposé, je présenterai ce résultat ainsi que sa généralisation naturelle aux groupes hyperboliques au sens de Gromov.