Arbre compact de Benoist Benoît CLERC