"filename>. Ainsi, lorsqu'on utilise une archive Debian, cette commande "
"récupère les fichiers <filename>Packages.gz</filename> et les analyse de "
"manière à rendre disponibles les informations concernant les nouveaux "
-"paquets et les paquets mis à jour. On doit toujours exécuter une commande "
+"paquets et les paquets mis à jour. On devrait toujours exécuter une commande "
"<literal>update</literal> avant les commandes <literal>upgrade</literal> ou "
"<literal>dist-upgrade</literal>. Veuillez noter que l'indicateur de "
"progression d'ensemble peut être imprécis puisque la taille de ces fichiers "