Compacte boom van Pieter Gerritsz de Boer