Arbre compact de Georges Porty