Faillibilité de la preuve par 9, réfutation… · Super Livre