Compacte boom van Hendrik Jan Polman