(*Noeud = Node, vide() = empty()*)
let rec make_branch cs = match cs with
  | [] -> vide ()
  | [c] -> Noeud (ref true, ref [c, vide ()])
  | c :: cs' -> Noeud (ref false, ref [c, make_branch cs'])