let
rec
valeur_elem n =
function
|
(m,t)::l
->
if
n=m
then
t
else
valeur_elem n l
|
_
->
Var
(n)