Année 2010-2011, 1er semestre. TD n. ?. 4. Calcul de compléxité et invariant ...
plus de détails à ce sujet (dont la démonstration de ce résultat) dans le livre de
Cormen, ... L'invariant est essentiel pour jusitifier la correction de la boucle. Il s'
agit ... 
