Smoking free category FR translation

In France this category will be useful for smokers  as it's now forbidden to smoke in public places.
A lot of work to do to make the map "green" ;-) >>> https://www.openstreetbrowser.org/#map=16/47.2135/-1.5526&categories=gastro-smoking

lang/fr.json

@@ -17,7 +17,7 @@
     "category:education": "Éducation",
     "category:emergency": "Services d'urgence",
     "category:financial": "Finance",
-    "category:gastro-smoking": "",
+    "category:gastro-smoking": "Restauration sans tabac",
     "category:gastro": "Restauration",
     "category:health": "Santé",
     "category:hiking_routes": "Itinéraires pédestres",
@@ -37,7 +37,7 @@
     "category:pt_amenities": "Équipements",
     "category:pt_routes": "Lignes",
     "category:pt_stops": "Arrêts/Stops, Stations",
-    "category:public": "Services Publics",
+    "category:public": "Services publics",
     "category:railway-electrification": "Puissance électrique ferroviaire",
     "category:railway-infrastructure": "Infrastructure ferroviaire",
     "category:religion": "Religion",