D'ailleurs tu a mal recopier ton énoncé, si PREUVE = -1
"0 = 1 + PREUVE!" en substituant on obtiens "0 = 1 + (-1)!"
qui est faux, vu que la factoriel d'un nombre négatif n'est pas définit