let rec register_bis path elem rest env = let liste, restenv = get path env let register path env = match path with | [] -> env | h::t -> register_bis [] h t env