truefalse debutant

La regle de la boucle while exige un invariant de boucle.