chapitre 12

les invariants de boucle