let rec print_double f x = match x with Vide -> () | Gauche (x, d) -> f x; print_double f d | Droite (d, x) -> print_double f d; f x;; print_double print_int d;;
1234- : unit = ()