Compacte boom van Thomas Gerardus van Leeuwen