Arbre compact de Pierre de la Porte