Correction TD La boucle TantQue.pdf - RTC

Compte-tenu du test d'arrêt, ceci justifie la terminaison de l'algorithme. Page 2. 2 c. Invariant de boucle. Notons pk et ik les valeurs prises ...