Compacte boom van van Dinther