Voici une bonne règle sur la correction du code. Tout code que vous n'avez pas testé est faux. Tout code que vous avez testé est également faux, mais semble fonctionner par coïncidence. Et le code que vous avez prouvé correct fait la mauvaise chose, correctement.