Arbre compact de Pierre DETOOR