Kompakt tre for Hartvig Pettersen