Compacte boom van Jan Roelof Lenaert van Grinsven