Muller–Schupp theorem
[fr] Théorème de Muller-Schupp