Arbre compact de Philippe Jacques PRUM