loop-invariant computation - Anglais Synonymes Dictionnaire