TD3 - LRI

Pour montrer qu'un algorithme est correct, on écrit une propriété P qui est
conservée à chaque étape de boucle que l'on appelle invariant de boucle.
Exercice 1.

Part of the document