bonjour,
qu'est-ce qu'on appelle un invariant de boucle ?
merci.