Compacte boom van Jan Harmensz van Leeuwen