invariant de boucle

....

» Glossaire du langage C