Kompakt træ for Jens Senius Pedersen