Preuves par 9 et par 11