Kompakt træ for Børge Petersen