Kompakt træ for Hendrick Petræus