effectively computable function - Turc Anglais Dictionnaire