Use typographic quotes (#4133)

* Use typographic quotes

* A few fixes

* Fix

* Fix not saved

* Implement feedback

* Detail

* Revert spoken English fixes
Left for a future dedicated discussion

* More reverts

* Final reverts

* Final minor

1 files changed, 23 insertions, 23 deletions

diff --git a/docs/fr/developers/02_Github.md b/docs/fr/developers/02_Github.md
index 569f1760f..0f1aaeb0d 100644
--- a/docs/fr/developers/02_Github.md
+++ b/docs/fr/developers/02_Github.md
@@ -3,12 +3,12 @@
 Malgré le soin apporté à FreshRSS, il se peut que des bugs apparaissent
 encore. Le projet est jeune et le développement dynamique, aussi celui-ci
 pourra être corrigé rapidement. Il se peut aussi que vous ayez en tête une
-fonctionnalité qui n'existe pas encore. Que celle-ci vous paraisse idiote,
+fonctionnalité qui n’existe pas encore. Que celle-ci vous paraisse idiote,
 farfelue, inutile ou trop spécifique, il ne faut surtout pas hésiter à nous
-la proposer ! Très souvent des "idées en l'air" ont trouvé une oreille
+la proposer ! Très souvent des « idées en l’air » ont trouvé une oreille
 attentive. Ce sont les regards externes qui font le plus évoluer le projet.
 
-Si vous êtes convaincus qu'il faut vous faire entendre, voici la marche à
+Si vous êtes convaincus qu’il faut vous faire entendre, voici la marche à
 suivre.
 
 ## Sur GitHub
@@ -16,25 +16,25 @@ suivre.
 GitHub est la plate-forme à privilégier pour vos demandes. En effet, cela
 nous permet de pouvoir discuter à plusieurs sur un problème ou une
 suggestion et de faire émerger, souvent, des idées nouvelles. Ne négligeons
-pas cet aspect "social" !
+pas cet aspect « social » !
 
 1. [Rendez-vous sur le gestionnaire de tickets de
 	bugs](https://github.com/FreshRSS/FreshRSS/issues)
-2. Commencez par rechercher si une demande similaire n'a pas déjà été
-	faite. Si oui, n'hésitez pas à ajouter votre voix à la demande.
+2. Commencez par rechercher si une demande similaire n’a pas déjà été
+	faite. Si oui, n’hésitez pas à ajouter votre voix à la demande.
 3. Si votre demande est nouvelle, [ouvrez un nouveau ticket de
 	bug](https://github.com/FreshRSS/FreshRSS/issues/new)
-4. Rédigez enfin votre demande. Si vous maitrisez l'anglais, c'est la
-	langue à privilégier car cela permet d'ouvrir la discussion à un plus
-	grand nombre de personnes. Sinon, ce n'est pas grave, continuez en
+4. Rédigez enfin votre demande. Si vous maitrisez l’anglais, c’est la
+	langue à privilégier car cela permet d’ouvrir la discussion à un plus
+	grand nombre de personnes. Sinon, ce n’est pas grave, continuez en
 	français :)
 5. Merci de bien vouloir suivre les quelques conseils donnés plus bas pour
 	faciliter la prise en compte de votre ticket.
 
 ## De façon informelle
 
-Tout le monde n'aime pas ou n'utilise pas GitHub pour des raisons aussi
-diverses que légitimes. C'est pourquoi vous pouvez aussi nous contacter de
+Tout le monde n’aime pas ou n’utilise pas GitHub pour des raisons aussi
+diverses que légitimes. C’est pourquoi vous pouvez aussi nous contacter de
 façon plus informelle.
 
 * Sur [notre chat
@@ -42,7 +42,7 @@ façon plus informelle.
 * Sur [les listes de
 	diffusion](https://freshrss.org/announce-of-the-mailing-lists.html)
 * À des évènements / rencontres autour du Logiciel Libre
-* Autour d'une bière dans un bar
+* Autour d’une bière dans un bar
 * Etc.
 
 ## Conseils
@@ -51,19 +51,19 @@ Voici quelques conseils pour bien présenter votre remontée de bug ou votre
 suggestion :
 
 
-* **Faites attention à l'orthographe.** même si ce n'est pas toujours
+* **Faites attention à l’orthographe.** même si ce n’est pas toujours
 	facile, faites votre maximum. ;)
-* **Donnez un titre explicite à votre demande**, quitte à ce qu'il soit un
+* **Donnez un titre explicite à votre demande**, quitte à ce qu’il soit un
 	peu long. Cela nous aide non seulement à comprendre votre demande, mais
 	aussi à retrouver votre ticket plus tard.
-* **Une demande = un ticket.** Vous pouvez avoir des tas d'idées mais vous
+* **Une demande = un ticket.** Vous pouvez avoir des tas d’idées mais vous
 	avez peur de spammer le gestionnaire de bugs : ça ne fait rien. Il vaut
 	mieux avoir un peu trop de tickets que trop de demandes dans un seul. On
-	s'occupera de fermer et regrouper les demandes qui le peuvent.
+	s’occupera de fermer et regrouper les demandes qui le peuvent.
 * Si vous remontez un bug, pensez à nous **fournir les logs de FreshRSS**
-	(accessibles dans les dossier ''data/log/'' de FreshRSS) **et PHP**
-	(l'emplacement peut varier selon les distributions, mais pensez à chercher
-	dans ''/var/log/httpd'' ou ''/var/log/apache'').
+	(accessibles dans les dossier `data/log/` de FreshRSS) **et PHP**
+	(l’emplacement peut varier selon les distributions, mais pensez à chercher
+	dans `/var/log/httpd` ou `/var/log/apache`).
 * Si vous ne trouvez pas les fichiers de logs, précisez-le dans votre ticket
 	afin que nous sachions que vous avez déjà cherché.
 * Tous les bugs ne nécessitent pas les logs, mais si vous doutez, mieux vaut
@@ -86,12 +86,12 @@ le bug.
 
 ### Quels résultats ai-je obtenus ?
 
-Le bug : ce que vous voyez qui n'aurez pas dû se passer. Ici vous pouvez
+Le bug : ce que vous voyez qui n’aurez pas dû se passer. Ici vous pouvez
 fournir les logs.
 
 ### Quel était le résultat attendu ?
 
-Afin que nous comprenions bien où est le problème... au moins selon vous :p
+Afin que nous comprenions bien où est le problème… au moins selon vous :p
 
 ### Quelle est ma situation ?
 
@@ -151,7 +151,7 @@ git checkout -b mon-branch-developpement
 git add app/actualize_script.php
 # Commitez le changement et écrivez un message de commit approprié.
 git commit
-# Vérifiez deux fois que tout a l'air d'aller bien
+# Vérifiez deux fois que tout a l’air d’aller bien
 git show
 # Poussez les changements sur ton fork
 git push
@@ -169,5 +169,5 @@ première ligne. Par exemple :
 Si nécessaire, une ligne blanche et une explication plus longue peuvent le
 suivre.
 
-Pour d'autres conseils, voir
+Pour d’autres conseils, voir
 [ici](https://chris.beams.io/posts/git-commit/).