Arbre compact de Philippe Duretz