Arbre compact de Philippe Augustin de Gruson