Arbre compact de Pierre de Chérence