Arbre compact de Isabelle DEMOUCHERON