Arbre compact de Isabelle JUSTICE