On utilise ici la définition récursive de produit en prenant n =1, g identiquement nulle, h (x, z, y) = somme (y, z), composée de la fonction somme déjà définie et de deux projections. Plus ...