Kompakt træ for Jens Petersen