codeEditor.run=Exécuter
codeEditor.expandTooltip=Développer l'éditeur
codeEditor.save=Enregistrer
codeEditor.savedSuccessfully=Widget enregistré avec succès
codeEditor.saveError=Erreur lors de l'enregistrement du Widget
codeEditor.switchDisplayMode=Basculer le mode d'affichage
codeEditor.jsExecutionError=Une erreur s'est produite lors de l'exécution du code JS
