Arbre compact de Isabelle DUE