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