Compacte boom van Hendrikus Gerardus (Henricus Gerardi) van Pinxten (van Pinxteren)