Compacte boom van Jan Tol