invariant de boucle