primitive recursive function - Turc Anglais Dictionnaire