TD1.5 Preuves de correction et de terminaison

donner un variant de boucle afin de prouver la terminaison d'un algorithme simple. Exercice 1 : Que calcule cet algorithme ? Soit l'algorithme suivant :.