Good suggestion by Phil Kern

diff --git a/doc/po/fr.po b/doc/po/fr.po
index cfdfae5132b9146ee2c2ce4775757322761fe474..cc38ea7f8d0797854d022f284f7b9a72f36a1478 100644 (file)
--- a/doc/po/fr.po
+++ b/doc/po/fr.po
@@ -753,7 +753,7 @@ msgstr ""
 "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 "
 "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 "
 "<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 "