13:30 - [réédition du 27 octobre 2020]
La cause du problème n'a pas été identifié.
Plusieurs manipulations ont amélioré la situation.
Une déconnexion et reconnexion de l'utilisateur améliore la performance.
