Arbre compact de Barbe Gremillier