Arbre compact de Petronille