primitive recursive function - Allemand Anglais Dictionnaire