Arbre compact de Pierre MORMENTIN