Merci, apt-get dist-upgrade a résolu tous mes problèmes. Il est vrai que j'ai toujours eu l'habitude de faire des upgrade. Je pense que désormais je ferai plutôt des dist-upgrade.