loop-invariant computation - Allemand Anglais Dictionnaire