Exercices optionnels INF 321 (I & II), suite du corrigé

30 mai 2014 ... Ceci n'est pas important pour la pâle (sera corrigé néanmoins bien ... On prouve
que I est un invariant de boucle pour le programme considéré, ...

Part of the document