J'avais installé le patch sur mon portable connecté en wi-fi mais sans effet, c'est sans doute pour ça que mon débit était beaucoup plus faible et je m'en contentais.
Là, j'ai téléchargé et installé une 2ème fois le patch et, ce coup-ci, ça a marché. Après redémarrage, mon débit était bien meilleur. Du coup, je n'ai rien touché d'autre.
Donc, apparemment, il ne faut pas hésiter à réinstaller ce fameux patch !
Quant aux valeurs mesurées, je constate qu'elles ne sont pas encore très stables. Hier, j'avais un download stable sur le PC (liaison éthernet) aux environs de 760 ko/sec. Ce soir, j'atteins très péniblement les 700, et encore.