Arbre compact de Pierre de Lorraine