Kompakt træ for Jens Ditlevsen