1. Prouver par des essais
toute la question de justification, souvent 3 à 4 pointsCe qu'il ne faut pas écrire
« Je l'ai testé sur trois exemples, il marche »
Ce qu'il faut écrire
Un invariant pour le résultat, un variant pour l'arrêt
Pourquoi : Des tests ne peuvent que réfuter. La version de la dichotomie qui écrit au lieu de , lancée sur le tableau , trouve bien , , et , mais boucle indéfiniment sur et sur : trois essais pris parmi les quatre valeurs trouvées l'auraient validée. Le correcteur attend une preuve, et il la lit en trois points.