Le commentaire doit être de plus haut niveau que le code sinon c'est de la redite.
Le code donne l'algo.
Le commentaire donne la preuve de l'algo.
La preuve commence par son(ses) initial case(s)....