La commande est enfin terminée ! Au tour de apt-get dist-upgrade maintenant.