Ajout invariant de boucle