J'ai décidé de mettre à jour
sudo update-manager -d
Ensuite, il ouvre l'interface graphique du gestionnaire de mise à jour. Après avoir cliqué sur le bouton de mise à niveau, la liste d'erreurs ci-dessous s'affiche:
W:There is no public key available for the following key IDs: 3B4FE6ACC0B21F32,
W:There is no public key available for the following key IDs: 3B4FE6ACC0B21F32,
E:Some index files failed to download. They have been ignored, or old ones used instead.
Comment résoudre ce problème?
apt-get update
suite a été parfaitement propre.