Compacte boom van Jan Lenaart Roelof van Grinsven