Arbre compact de Ludovicus Lehn