La conjecture de Poincaré équivaut à un énoncé de théorie des groupes (d'après J. Stallings (1965), F. Waldhausen (1968) et ...)

Comment se fait-il, se demande l'un de nous, qu'il "faille" le flot de Ricci pour prouver un énoncé purement algébrique ? Cela témoigne sans doute du talent de Stallings, un des fondateurs de la théorie géométrique des groupes. Je tenterai de présenter cette équivalence. Au passage, je raconterai les trois-petits-points du titre.