loop-invariant computation - Turc Anglais Dictionnaire