Un groupe $p$-compact ($p$ un nombre premier fixé) est la donnée d'un espace $X$ dont la cohomologie modulo $p$ est finie et d'un "espace classifiant" $BX$ qui est "$p$-complet".  Le prototype d'un tel objet est le $p$-complété d'un groupe de Lie compact connexe. Dwyer et Wilkerson ont montré (vers 1990) que les groupes $p$-compacts connexes possèdent des "tores maximaux" et des "groupes de Weyl", ces derniers étant engendrés par des pseudo-réflexions $p$-adiques. La liste de tous les groupes engendrés par des pseudo-réflexions $p$-adiques a été faite par Clarke et Ewing dans les années 1970. Ce qu'ont montré les quatre auteurs cités dans le titre est qu'il y a une correspondance bijective entre ces groupes de pseudo-réflexions (à isomorphisme près) et les groupes $p$-compacts connexes (à homotopie près), au moins pour $p$ impair ; pour $p=2$, la correspondance qu'ils établissent est un peu plus subtile.