Kompakt træ for Johan Ludvig Petersen