Arbre compact de Jacques PRUM