Kompakt træ for Proprietær Petersen