type somme_formelle =
 | Variable
 | Entier of int
 | Somme of somme_formelle * somme_formelle ;;

let rec eval = function (expr, valeur) -> 
  | (Variable , _ ) -> valeur
  | (Entier n , _ ) -> n
  | (Somme (e1,e2) , _ ) -> 
      eval(e1,valeur) + eval(e2,valeur) ;;