La somme de 7 et du produit de 5 par 3