Arbre compact de Francois Mansuet Charles BRIL