proof of total correctness - Français Anglais Dictionnaire