Arbre compact de Pierre Guillaume BENJAMIN