The manual update did not work. I had to be patient for a few hours and without changing anything or repairing anything, and even without having to reboot, now the download succeeds.
Apparently the update files on the Avast servers were corrupted/incomplete and have been replaced.
Désolé, en suivant un lien depuis une pageanglais j'ai posté ici en anglais la réponse...
Le problème s'est résolu tout seul en patientant puisque visibleme c'était le fichier de mise à jour sur le serveur qui était incorrect/incomplet. Je n'ai même pas eu à réparer quoi que ce soit, ou rebooter, les admins d'Avast ont du noter eux-mêmes dans les logs du serveur qu'il y a vait un grand nombre de tentatives répétées de chargement du même fichier depuis les mêmes hôtes.
