fr: fix wrong name of option of git-rm

Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
Reported-by: Adrien Ollier <adr.ollier@hotmail.fr>

po/documentation.fr.po

@@ -7,7 +7,7 @@ msgstr ""
 "Project-Id-Version: git documentation\n"
 "Report-Msgid-Bugs-To: jn.avila@free.fr\n"
 "POT-Creation-Date: 2019-12-08 16:35+0100\n"
-"PO-Revision-Date: 2019-12-22 19:21+0000\n"
+"PO-Revision-Date: 2020-01-19 21:51+0100\n"
 "Last-Translator: Jean-Noël Avila <jn.avila@free.fr>\n"
 "Language-Team: Jean-Noël Avila <jn.avila@free.fr>\n"
 "Language: fr\n"
@@ -44329,7 +44329,7 @@ msgstr "'git rm' [-f | --force] [-n] [-r] [--cached] [--ignore-unmatch] [--quiet
 #: en/git-rm.txt:25
 #, priority:280
 msgid "Remove files from the index, or from the working tree and the index.  `git rm` will not remove a file from just your working directory.  (There is no option to remove a file only from the working tree and yet keep it in the index; use `/bin/rm` if you want to do that.)  The files being removed have to be identical to the tip of the branch, and no updates to their contents can be staged in the index, though that default behavior can be overridden with the `-f` option.  When `--cached` is given, the staged content has to match either the tip of the branch or the file on disk, allowing the file to be removed from just the index."
-msgstr "Supprime les fichiers de l'index, ou de l'arbre de travail et de l'index. `git rm` ne supprimera pas un fichier seulement de votre répertoire de travail (il n'y a aucune option pour supprimer un fichier seulement depuis l'arbre de travail et le conserver dans l'index ; utilisez `/bin/rm` si c'est ce que vous souhaitez faire). Les fichiers à supprimer doivent être identiques à ceux du sommet de la branche, et avec aucune mise à jour indexée, mais ce comportement par défaut peut être outrepassé avec l'option `-f`. Quand `--cache` est fourni, le contenu indexé doit correspondre soit au sommet de la branche soit au fichier sur disque, de sorte que le fichier puisse n'être supprimé que de l'index."
+msgstr "Supprime les fichiers de l'index, ou de l'arbre de travail et de l'index. `git rm` ne supprimera pas un fichier seulement de votre répertoire de travail (il n'y a aucune option pour supprimer un fichier seulement depuis l'arbre de travail et le conserver dans l'index ; utilisez `/bin/rm` si c'est ce que vous souhaitez faire). Les fichiers à supprimer doivent être identiques à ceux du sommet de la branche, et avec aucune mise à jour indexée, mais ce comportement par défaut peut être outrepassé avec l'option `-f`. Quand `--cached` est fourni, le contenu indexé doit correspondre soit au sommet de la branche soit au fichier sur disque, de sorte que le fichier puisse n'être supprimé que de l'index."
 #. type: Plain text
 #: en/git-rm.txt:38