Kompakt træ for Thorvald Ole Jensen