Hop.
--- fr.po 2003-08-24 08:01:46.000000000 +0200 +++ fr.po.relu-bubulle 2003-08-24 08:03:18.000000000 +0200 @@ -43,7 +43,7 @@ "special settings in their \"~/.emacs\"." msgstr "" "Si vous acceptez, Proof General sera chargé d'une manière globale, c.-à-d. " -"que toutes les personnes de votre site pourront utiliser Proof General à " +"que toutes les utilisateurs de votre site pourront se servir de Proof General à " "n'importe quel moment dans Emacs ou XEmacs sans définir de paramètres " "spéciaux dans leur fichier « ~/.emacs »." @@ -54,6 +54,6 @@ "emacs\" or start a Proof General session explicitly with the proofgeneral " "command." msgstr "" -"Si vous refusez, les personnes qui désireront l'utiliser devront soit " +"Si vous refusez, les utilisateurs qui désireront s'en servir devront " "modifier « .emacs » ou démarrer une session Proof General avec la commande " "proofgeneral."
