Compacte boom van Henricus van Grinsven