Compacte boom van Petrus Holleman