Correction et Complexité
invariant avant, pendant et apr`es la boucle ... progression : si le test et l'invariant
sont vrais, alors apr`es exécution ... Exercices Feuille TD 1, exercices 1 et 2.
invariant avant, pendant et apr`es la boucle ... progression : si le test et l'invariant
sont vrais, alors apr`es exécution ... Exercices Feuille TD 1, exercices 1 et 2.