Arbre compact de Doctrine