Kompakt træ for Otto Dusin Petersen