informal indirect proof - Turc Anglais Dictionnaire