let rec recursif s m = function
  | n::l -> 
      ( match valeur n s with
          | Var n -> 
              if n=m then 
                true 
              else 
                recursif s m l
          | t     -> recursif s m ((liste_var [] [t])@l) 
      )
  | []   -> false