Arbre compact de Pierre Gravelle