Compacte boom van Johannes Wilhelmus van Grinsven