$tok_inf = $tok_par->get_token ;