Année 2010-2011, 1er semestre. TD n. ?. 4. Calcul de complexité et invariant ...
On trouvera plus de détails à ce sujet (dont la démonstration de ce résultat) dans
le livre ... Les invariants sont essentiels pour justifier la correction d'une boucle. 
