Arbre compact de Lothaire Carolingien