correctness proof - Turc Anglais Dictionnaire