Compacte boom van Henricus Rutger Joannes van Grinsven