Compacte boom van Dirck Jacob van Grinsven