Bientôt la preuve en MP pour fermer des bouches