From 9deb4b8f0cf6448bb786e698610e917b4b61f8f3 Mon Sep 17 00:00:00 2001
From: "bubulle@debian.org" <>
Date: Wed, 4 Jul 2012 20:43:09 -0600
Subject: [PATCH] Good suggestion by Phil Kern

---
 doc/po/fr.po | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/po/fr.po b/doc/po/fr.po
index cfdfae513..cc38ea7f8 100644
--- 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 "
-"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 "
-- 
2.47.2