[skip ci] Updated translations via Crowdin

Author: GiteaBot

options/locale/locale_fr-FR.ini

@@ -627,6 +627,8 @@ issues.label_templates.info=Il n'y a pas encore d'étiquettes. Vous pouvez cliqu
 issues.label_templates.helper=Sélectionnez un ensemble d'étiquettes
 issues.label_templates.use=Utiliser ce jeu d'étiquettes
 issues.label_templates.fail_to_load_file=Impossible de charger le fichier de modèle étiquette '%s' : %v
+issues.add_label_at=« enlevé la <div class="ui label" style="color: %s\; background-color: %s">%s</div> étiquette %s »
+issues.remove_label_at=« enlevé la <div class="ui label" style="color: %s\; background-color: %s">%s</div> étiquette %s »
 issues.add_milestone_at=`a ajouté cela au jalon <b>%s</b> %s`
 issues.change_milestone_at=`a modifié le jalon de <b>%s</b> à <b>%s</b> %s`
 issues.remove_milestone_at=`a supprimé cela du jalon <b>%s</b> %s`
@@ -847,6 +849,8 @@ activity.title.releases_published_by=%s publiée par %s
 activity.published_release_label=Publiée
 
 search=Chercher
+search.search_repo=Rechercher dans le dépôt
+search.results=Résulats de la recherche « %s » dans <a href="%s"> %s</a>
 
 settings=Paramètres
 settings.desc=Les paramètres sont l'endroit où gérer les options du dépôt