Étiquette : invariant de boucle