Compacte boom van Petrus Tax