Compacte boom van Wilhelmus Matthias van Grinsven