codice:
preg_replace("/id_lingua=\d+/", "id_lingua=$id_lingua" , $_SERVER['QUERY_STRING']);