Kompakt træ for Hans Svenning Jensen