Kompakt træ for Carl Erik Have Jensen