Compacte boom van Hendrikus Pruijn