Kompakt træ for Jens Hansen Davidsen