Arbre compact de Philippe Leuridan