Tentative de finir le gros lemme.
Problème : une disjonction dans l'article n'est pas au bon endroit