Arbre compact de Jean Prunetti