{ "Theme": "Thème", "Local": "Local", "Dark theme": "Thème sombre", "Optional": "Optionnel", "Non-optional": "Non-optionnel", "Current": "Actuel", "Default": "Par défaut", "Theme Editor": "Éditeur de thème", "Save": "Enregistrer", "Close": "Fermer", "Edit": "Modifier", "Export": "Exporter", "edit Theme Config": "Modifier la configuration du thème", "The theme of the JSON format is incorrect": "Le thème au format JSON est incorrect", "Edited successfully": "Modifié avec succès", "Saved successfully": "Enregistré avec succès", "Initializing Editor...": "Initialisation de l'éditeur...", "Save theme": "Enregistrer le thème", "Please set a name for this theme": "Veuillez définir un nom pour ce thème", "Please input the theme name": "Veuillez saisir le nom du thème" }