let minimum t = match t with N(_,x,_) -> x
let eval_var variable liste = let rec aux = function | [] -> false | h::t -> variable = h || aux t in aux liste;;