Compacte boom van Johannes van Grinsven