Arbre compact de Mansuet Benoit PRUM