Félicitations @GiacomoFenzi et @asanso pour un autre clou dans le cercueil de la conjecture !