(* le programme comporte une variable libre *)
let e1 = Var "x" in eval [] e1;;
(* on ne peut pas applique un entier  quoi que ce soit *)
let e2 = App (Const 1, Const 2) in eval [] e2;;