Tout a l'air ok, à vérifier si ça a résolu le problème de la logithèque.
Mais donne quand même le retour des deux commandes suivantes aussi (avec la logithèque fermée, sinon ça va les bloquer) :
sudo apt-get update
sudo apt-get dist-upgrade
La première commande va recharger la liste des dépôts. Le retour va surtout permettre de voir s'ils sont tous accessibles.
La deuxième va lancer les mises à jour éventuelles.
