Variant de boucle et invariant de boucle : théorie et exercice d’application

Présentation de la notion de variant de boucle et d’invariant de boucle et application sur un exemple concret