<commit_before>
animation.tracereplay.fileChooser.loadTrace.title  = Charger trace
animation.tracereplay.fileChooser.saveTrace.title  = Sauver trace
animation.tracereplay.view.columns.name            = Nom
animation.tracereplay.view.columns.status          = Statut
animation.tracereplay.view.contextMenu.deleteTrace = Effacer Trace
animation.tracereplay.view.contextMenu.replayTrace = Rejouer Trace
animation.tracereplay.view.contextMenu.showError   = Montrer les Erreurs
animation.tracereplay.view.placeholder             = Pas de Traces
animation.tracereplay.view.tooltips.checkMachine   = Verifier mod\u00E8le
animation.tracereplay.view.tooltips.loadTrace      = Charger trace d'un fichier
animation.view.tabs.symbolic                       = Symbolique
animation.view.tabs.tracereplay                    = Rejouer

beditor.hint                 = // Chargez et animez un fichier de machine...
beditor.openExternal         = Ouvrir avec \u00E9diteur externe
beditor.reloadWarning        = L'animation n'est pas recharg\u00E9
beditor.tooltips.openMachine = Ouvrir machine
beditor.unsavedWarning       = La machine n'est pas sauv\u00E9

chart.historyChart.alerts.formulaEvalError.invalidInteger.content  = Impossible d'\u00E9valuer la formule du diagramme d'histoire:\nPas un nombre entier valide
chart.historyChart.alerts.formulaEvalError.notAnEvalResult.content = Impossible d'\u00E9valuer la formule du diagramme d'histoire:\nR\u00E9sultat pas valide: %s
chart.historyChart.separateCharts                                  = Diagrammes separ\u00E9s
chart.historyChart.stage.title                                     = Diagramme d'histoire
chart.historyChart.startPosition                                   = D\u00E9but \u00E0 la visualisation:

common.alerts.couldNotOpenFile.content      = Pas pu ouvrir fichier '%s'
common.alerts.couldNotSaveFile.content      = Impossible de sauver le fichier '%s'
common.alerts.couldNotWriteFile.content     = Impossible d'\u00E9crire dans le fichier '%s'
common.alerts.unsavedProjectChanges.content = Le projet actuel '%s' contient des modifications.\nSauver le projet?
common.buttons.apply                        = Appliquer
common.buttons.cancel                       = Annuler
common.buttons.doNotSave                    = Pas sauver
common.buttons.execute                      = Executer
common.buttons.finish                       = Finir
common.buttons.ok                           = OK
common.buttons.rename                       = Renommer
common.buttons.replace                      = Remplacer
common.buttons.save                         = Sauver
common.buttons.saveAs                       = Sauver comme...
common.buttons.load                         = Charger
common.checkMachine                         = Verifier mod\u00E8le
common.columns.description                  = Description
common.columns.formula                      = Nom de Formule
common.columns.status                       = Statut
common.contextMenu.copy                     = Copier
common.fileChooser.fileTypes.all            = Tous les fichiers
common.fileChooser.fileTypes.allProB        = Fichiers ProB (tous) (%s)
common.fileChooser.fileTypes.alloy          = Fichiers Alloy (%s)
common.fileChooser.fileTypes.classicalB     = Fichiers B classique (%s)
common.fileChooser.fileTypes.csp            = Fichiers CSP (%s)
common.fileChooser.fileTypes.diff           = Fichiers diff
common.fileChooser.fileTypes.eventB         = Fichiers EventB (%s)
common.fileChooser.fileTypes.fxml           = Fichiers FXML
common.fileChooser.fileTypes.ltl            = Fichiers LTL (%s)
common.fileChooser.fileTypes.proB2Project   = Projets ProB 2 (%s)
common.fileChooser.fileTypes.svg            = Fichiers SVG
common.fileChooser.fileTypes.text           = Fichiers texte
common.fileChooser.fileTypes.tla            = Fichiers TLA (%s)
common.fileChooser.fileTypes.xtl            = Fichiers XTL Prolog (%s)
common.fileChooser.open.title               = Ouvrir...
common.fileChooser.save.title               = Sauver...
common.fileChooser.saveAsCSV.title          = Sauver comme CSV...
common.noModelLoaded                        = Pas de mod\u00E8le charg\u00E9
common.notInitialised                       = Le mod\u00E8le n'est pas encore initialis\u00E9e.
common.prob2                                = ProB 2
common.result.interrupted.header            = V\u00E9rification pas encore fini
common.views.animation                      = Animation
common.views.history                        = Histoire
common.views.historyWithState               = Histoire (\u00E9tat %d de %d)
common.views.operations                     = Op\u00E9rations
common.views.project                        = Projet
common.views.stats                          = Statistiques
common.views.verifications                  = V\u00E9rifications

consoles.b.header                                     = ProB 2.0 Console B
consoles.b.interpreter.result.computationNotCompleted = Calcul pas fini.
consoles.b.interpreter.result.enumerationWarning      = Evaluation a produit une enumeration warning.
consoles.b.interpreter.result.evaluationError         = Erreurs pendant l'\u00E9valuation.
consoles.b.interpreter.result.notInitialized          = Identicateur n'est pas initisalis\u00E9.
consoles.b.interpreter.result.notWellDefined          = R\u00E9sultat n'est pas bien d\u00E9finie.
consoles.b.message.modelLoaded                        = Mod\u00E8le charg\u00E9: %s
consoles.b.message.modelUnloaded                      = Mod\u00E8le d\u00E9charg\u00E9
consoles.b.toolbar.clear                              = Effacer
consoles.b.toolbar.language.classicalB                = B classique
consoles.b.toolbar.language.csp                       = CSP
consoles.b.toolbar.language.eventB                    = Event-B
consoles.groovy.class.tabs.class                      = Classe
consoles.groovy.class.tabs.collection                 = Donn\u00E9es de collection
consoles.groovy.class.tabs.fields                     = Variables et propri\u00E9t\u00E9s publiques
consoles.groovy.class.tabs.methods                    = M\u00E9thodes
consoles.groovy.columns.declarer                      = Declarateur
consoles.groovy.columns.exceptions                    = Exceptions
consoles.groovy.columns.index                         = Index
consoles.groovy.columns.modifiers                     = Modificateurs
consoles.groovy.columns.name                          = Nom
consoles.groovy.columns.origin                        = Origine
consoles.groovy.columns.paramtypes                    = Param\u00E8tres
consoles.groovy.columns.returntype                    = Type retourn\u00E9
consoles.groovy.columns.type                          = Type
consoles.groovy.columns.value                         = Valeur
consoles.groovy.header                                = ProB 2.0 Console Groovy
consoles.groovy.objects.title                         = Objets Groovy
consoles.groovy.stage.title                           = Console Groovy

dotty.alerts.visualisationError.content = Visualisation pas possible
dotty.continuousUpdate                  = Mise-\u00E0-jour automatique
dotty.enterFormula                      = Tapez une formule:
dotty.stage.title                       = Visualisation de graphe

dynamic.noRelevantPreferences = Pas de pr\u00E9f\u00E9rences pour cette option

helpsystem.button.external = Page d'accueil de ProB
helpsystem.stage.title     = Aide

history.buttons.saveTrace.tooltip = Sauver la trace
history.tableView.position        = Position
history.tableView.transition      = Transition

internal.exceptionAlert.cliErrorExplanation               = Pas r\u00E9ussi \u00E0 communiquer avec le ProB CLI.\nCeci peut normalement \u00EAtre r\u00E9par\u00E9 par charger une autre machine.\n
internal.exceptionAlert.proBErrorTable.columns.locations  = Locations
internal.exceptionAlert.proBErrorTable.columns.message    = Message
internal.exceptionAlert.proBErrorTable.columns.type       = Type
internal.exceptionAlert.proBErrorTable.placeholder        = Pas de messages d'erreur
internal.exceptionAlert.proBErrorTable.type.error         = Erreur
internal.exceptionAlert.proBErrorTable.type.internalError = Erreur interne
internal.exceptionAlert.proBErrorTable.type.warning       = Avertissement
internal.javaVersionTooOld.content                        = La ProB 2 UI n\u00E9cessite version 1.8.0_60 (ou plus r\u00E9cent) de Java. Vous utilisez version %s. Veuillez mettre \u00E0 jour votre version Java pour utiliser la ProB 2 UI.
internal.javaVersionTooOld.header                         = Version Java trop ancienne
internal.navigationButtons.back.tooltip                   = Arri\u00E8re
internal.navigationButtons.fastBack.tooltip               = Arri\u00E8re (rapide)
internal.navigationButtons.fastForward.tooltip            = Avance rapide
internal.navigationButtons.forward.tooltip                = Avant
internal.navigationButtons.reload.tooltip                 = Recharger Mod\u00E8le Actuel
internal.predicateBuilderView.additionalPredicate         = Pr\u00E9dicat suppl\u00E9mentaire:
internal.predicateBuilderView.columns.name                = Nom
internal.predicateBuilderView.columns.value               = Valeur

menu.aboutBox.cliInfo                                  = ProB CLI:\nVersion: %s\nCommit: %s\n\n
menu.aboutBox.cliInfo.loading                          = (en chargement)
menu.aboutBox.javaInfo                                 = Java:\nVersion: %s (%s)\nVM: %s\nVersion de VM: %s (%s)\n\n
menu.aboutBox.kernelInfo                               = ProB 2.0 kernel:\nVersion: %s\nCommit: %s\n\n
menu.aboutBox.uiInfo                                   = ProB 2.0 UI:\nVersion: %s\nCommit: %s\n\n
menu.advanced                                          = Advanced
menu.advanced.items.groovy                             = Console Groovy...
menu.advanced.items.pluginMenu                         = Menu plugin...
menu.advanced.items.useVisualisation                   = Utiliser une visualisation
menu.advanced.items.useVisualisation.detach            = D\u00E9tacher visualisation
menu.advanced.items.useVisualisation.select            = Choisir visualisation Java...
menu.advanced.items.useVisualisation.stop              = Arr\u00EAter visualisation
menu.detatchView.explanation                           = Choisir les composants \u00E0 afficher s\u00E9par\u00E9ment:
menu.detatchView.stage.title                           = D\u00E9tacher composants
menu.externalEditor.alerts.couldNotStartEditor.content = Failed to start external editor
menu.file                                              = Fichier
menu.file.automaticProjectDescription                  = (ce projet \u00E0 \u00E9te cr\u00E9e automatiquement du fichier %s)
menu.file.items.newProject                             = Nouveau projet...
menu.file.items.open                                   = Ouvrir...
menu.file.items.openRecentProject                      = Ouvrir projet r\u00E9cent
menu.file.items.openRecentProject.items.clear          = effacer projets r\u00E9cents
menu.file.items.placeholder                            = (vide)
menu.file.items.preferences                            = Pr\u00E9f\u00E9rences...
menu.file.items.reloadMachine                          = Recharger mod\u00E8le actuel
menu.file.items.saveMachine                            = Sauver machine
menu.file.items.saveProject                            = Sauver projet
menu.file.items.viewFormattedCode                      = Afficher mod\u00E8le actuel (format\u00E9)
menu.help                                              = Aide
menu.help.items.about                                  = \u00C0 propos de ProB 2
menu.help.items.openHelp                               = Ouvrir menu d'aide
menu.help.items.reportBug                              = Rapporter un bug...
menu.mainView.tabs.beditor                             = Mod\u00E8le
menu.mainView.tabs.stateErrors                         = Erreurs dans l'\u00E9tat
menu.mainView.tabs.states                              = Vue d'\u00E9tat
menu.mainView.tabs.visualisation                       = Visualisation d'Etat
menu.reportBug.stage.title                             = Rapporter un bug
menu.view                                              = Pr\u00E9sentation
menu.view.items.enterFullScreen                        = Activer le mode plein \u00E9cran
menu.view.items.exitFullScreen                         = Quitter le mode plein \u00E9cran
menu.view.items.zoomDefault                            = Taille normale
menu.view.items.zoomIn                                 = Zoom avant
menu.view.items.zoomOut                                = Zoom arri\u00E8re
menu.visualisation                                     = Visualisation
menu.visualisation.items.graph                         = Visualisation de graphes...
menu.visualisation.items.showHistoryChart              = Diagrammes d'histoire...
menu.visualisation.items.table                         = Visualisation par tableau...
menu.window                                            = Fen\u00EAtre
menu.window.items.closeWindow                          = Fermer
menu.window.items.detach                               = D\u00E9tacher composants...
menu.window.items.perspectives                         = Perspectives
menu.window.items.perspectives.load                    = Charger...
menu.window.items.perspectives.preset.default          = D\u00E9faut
menu.window.items.perspectives.preset.separated        = Histoire s\u00E9par\u00E9
menu.window.items.perspectives.preset.separated2       = Histoire et statistiques s\u00E9par\u00E9s

operations.executeByPredicate.alerts.failedToExecuteOperation.content = Impossible d'ex\u00E9cuter op\u00E9ration avec ces param\u00E8tres et ce pr\u00E9dicat
operations.executeByPredicate.noParameters                            = Pas de param\u00E8tres
operations.executeByPredicate.operation                               = Op\u00E9ration: %s
operations.executeByPredicate.parameters                              = Param\u00E8tres:
operations.executeByPredicate.stage.title                             = Executer par pr\u00E9dicat
operations.operationDetails.columns.name                              = Nom
operations.operationDetails.columns.value                             = Valeur
operations.operationDetails.groups.constants                          = Constantes
operations.operationDetails.groups.parameters                         = Param\u00E8tres
operations.operationDetails.groups.returnValues                       = Valeurs de retour
operations.operationDetails.groups.variables                          = Variables
operations.operationDetails.title                                     = D\u00E9tail de l'op\u00E9ration
operations.operationDetails.titleWithName                             = D\u00E9tail de l'Op\u00E9ration: %s
operations.operationsView.contextMenu.items.executeByPredicate        = Executer par pr\u00E9dicat...
operations.operationsView.contextMenu.items.showDetails               = Montrer les d\u00E9tails
operations.operationsView.random.five                                 = Execute 5 op\u00E9rations
operations.operationsView.random.one                                  = Execute 1 op\u00E9ration
operations.operationsView.random.some.prompt                          = \u2116 d'op\u00E9rations
operations.operationsView.random.ten                                  = Execute 10 op\u00E9rations
operations.operationsView.search.prompt                               = Filtrer op\u00E9rations
operations.operationsView.tooltips.cancelRandom                       = Arr\u00EAter animation al\u00E9atoire
operations.operationsView.tooltips.random                             = Op\u00E9ration(s) al\u00E9atoire(s)
operations.operationsView.tooltips.reachesErrored                     = Atteint un \u00E9tat d'erreur
operations.operationsView.tooltips.reachesSame                        = Ne change pas d'\u00E9tat
operations.operationsView.tooltips.reachesUnexplored                  = Atteint un nouvel \u00E9tat
operations.operationsView.tooltips.showDisabled                       = Afficher/masquer op\u00E9rations inactives
operations.operationsView.tooltips.sort                               = Trier
operations.operationsView.tooltips.timeout                            = Time-out pour l'\u00E9venement
operations.operationsView.warningLabel.maxReached                     = Peut-\u00EAtre plus - maximum atteint

plugin.alerts.confirmOverwriteExistingFile.content     = Un fichier avec le nom '%s' existe d\u00E9j\u00E0 dans le dossier de plugins.\nIl contient le plugin %s (version %s).\nVoulez-vous remplacer le plugin existant?
plugin.alerts.couldNotCopyToPluginDirectory.content    = Pas pu copier le fichier '%s' dans le dossier de plugins!\nNormalement ce erreur indique qu'il y a d\u00E9j\u00E0 un fichier avec le m\u00EAme nom.\nL'exception lanc\u00E9 peut \u00EAtre trouv\u00E9 dans le log.
plugin.alerts.couldNotDeleteJar.content                = Pas pu effacer la jar '%s'.\nVeuillez essayer de l'effacer manuellement.
plugin.alerts.couldNotLoadPlugin.content               = Pas pu charger le plugin '%s'.\nL'exception lanc\u00E9e peut \u00EAtre trouv\u00E9e dans le log.
plugin.alerts.couldNotStartPlugin.content              = Pas pu lancer le plugin '%s'.\n\nVeuillez fermer l'application et effacer le plugin manuellement
plugin.alerts.couldNotStopPlugin.content               = Pas pu arr\u00EAter le plugin '%s'.\n\nVeuillez fermer l'application et effacer le plugin manuellement
plugin.alerts.couldNotWriteInactive.content            = Pas pu \u00E9crire la liste des plugins inactives.
plugin.alerts.wrongUIversion.content                   = Le plugin '%s' a \u00E9t\u00E9 construit pour ProB2 UI version %s. Vous utilisez la version %s.\nLa jar va \u00EAtre effac\u00E9e.
plugin.fileChooser.addPlugin.title                     = Ajouter un plugin ProB...
plugin.invalidPlugin.message.couldNotCreateInstance    = Pas pu cr\u00E9er une instance de la classe '%s'.
plugin.invalidPlugin.message.couldNotFindPluginClass   = Classe plugin '%s' pas trouv\u00E9.
plugin.invalidPlugin.message.notAValidPluginClass      = La classe '%s' n'est pas une classe plugin valide.
plugin.pluginMenu.alerts.confirmRemovingPlugin.content = Si vous effacez le plugin, la jar correspondante va \u00EAtre effac\u00E9.\n\u00CAtes-vouz s\u00FBr que vous voulez effacer le plugin '%s'?
plugin.pluginMenu.alerts.confirmRemovingPlugin.header  = Effacer plugin
plugin.pluginMenu.buttons.addPlugin                    = Ajouter un plugin ProB...
plugin.pluginMenu.buttons.changePath                   = Changer chemin...
plugin.pluginMenu.buttons.reloadPlugin                 = Recharger les plugins
plugin.pluginMenu.directoryChooser.changePath.title    = Changer chemin...
plugin.pluginMenu.path                                 = Chemin:
plugin.pluginMenu.search                               = Search Plugins:
plugin.pluginMenu.search.prompt                        = Rechercher
plugin.pluginMenu.stage.title                          = Menu plugin
plugin.pluginMenu.table.columns.active                 = Active
plugin.pluginMenu.table.columns.name                   = Nom
plugin.pluginMenu.table.columns.version                = Version
plugin.pluginMenu.table.contextmenu.remove             = Effacer %s
plugin.pluginMenu.table.contextmenu.restart            = Red\u00E9marrer %s
plugin.pluginMenu.table.noPluginsLoaded                = Pas de plugin charg\u00E9

preferences.preferencesView.table.columns.changed                    = *
preferences.preferencesView.table.columns.defaultValue               = Valeur par d\u00E9faut
preferences.preferencesView.table.columns.description                = Description
preferences.preferencesView.table.columns.name                       = Nom
preferences.preferencesView.table.columns.value                      = Valeur
preferences.stage.tabs.general                                       = G\u00E9n\u00E9ral
preferences.stage.tabs.general.buttons.selectLocation                = Choisir endroit...
preferences.stage.tabs.general.directoryChooser.selectLocation.title = Choisissez l'endroit d\u00E9faut pour des projets nouveaux
preferences.stage.tabs.general.label.defaultLocationForProjects      = Endroit d\u00E9faut pour des projets nouveaux:
preferences.stage.tabs.general.label.localeOverride                  = Langue de l'interface:
preferences.stage.tabs.general.label.recentProjectsLimit             = Num\u00E9ro de projets recents \u00E0 retenir:
preferences.stage.tabs.general.localeChangeWarning                   = L'application doit \u00EAtre r\u00E9demarr\u00E9 pour appliquer le changement de la langue d'interface.
preferences.stage.tabs.globalPreferences                             = Pr\u00E9f\u00E9rences globales
preferences.stage.tabs.globalPreferences.buttons.restoreDefaults     = Recharger les d\u00E9fauts
preferences.stage.tabs.globalPreferences.buttons.undo                = Annuler les changes
preferences.stage.tabs.globalPreferences.notAppliedWarning           = Mod\u00E8le doit \u00EAtre recharg\u00E9 pour appliquer les changements
preferences.stage.title                                              = Pr\u00E9f\u00E9rences

prob2fx.currentProject.alerts.confirmReplacingProject.content = Voulez-vous fermer le projet courant?\nTous changements pas sauv\u00E9s vont \u00EAtre perdus.
prob2fx.currentProject.alerts.confirmReplacingProject.header  = Un projet est d\u00E9j\u00E0 ouvert.

project.machineLoader.alerts.couldNotOpen.content                               = Impossible d'ouvrir mod\u00E8le '%s'
project.machineLoader.alerts.fileNotFound.content                               = Le fichier '%s' n'a pas \u00E9t\u00E9 trouv\u00E9.\nLe fichier a probablement \u00E9t\u00E9 effac\u00E9 ou renomm\u00E9.
project.machineLoader.alerts.fileNotFound.header                                = Fichier pas trouv\u00E9.
project.machines.editMachinesDialog.label.description                           = Description:
project.machines.editMachinesDialog.label.name                                  = Nom:
project.machines.editMachinesDialog.machineAlreadyExistsError                   = Il y a d\u00E9j\u00E0 une machine appel\u00E9 '%s' dans le projet courant.
project.machines.machineDescriptionView.placeholder                             = (pas de description disponible)
project.machines.machineDescriptionView.title                                   = %s - Description
project.machines.machinesItem.contextMenu.items.editMachineConfiguration        = Editer configuration mod\u00E8le
project.machines.machinesItem.contextMenu.items.editMachineFileInExternalEditor = \u00C9diter fichier mod\u00E8le avec \u00E9diteur externe
project.machines.machinesItem.contextMenu.items.removeMachine                   = Effacer mod\u00E8le
project.machines.machinesItem.contextMenu.items.showMachineDescription          = Montrer description du mod\u00E8le
project.machines.machinesItem.contextMenu.items.startAnimation                  = D\u00E9marrer animation...
project.machines.machinesTab.alerts.machineAlreadyExists.content                = Il y a d\u00E9j\u00E0 une machine appel\u00E9 '%s' dans le projet courant.
project.machines.machinesTab.alerts.removeMachineConfirmation.content           = Est-ce que vous \u00E9tes s\u00FBr de vouloir effacer le mod\u00E8le '%s'?
project.machines.machinesTab.noMachines                                         = Pas de mod\u00E8le
project.machines.machinesTab.title                                              = Mod\u00E8les
project.newProjectStage.buttons.selectLocation                                  = Choisir endroit...
project.newProjectStage.directoryChooser.selectLocation.title                   = Choisir endroit
project.newProjectStage.invalidLocationError                                    = L'endroit n'existe pas ou n'est pas valide
project.newProjectStage.label.description                                       = Description:
project.newProjectStage.label.location                                          = Endroit:
project.newProjectStage.label.name                                              = Nom du projet:
project.newProjectStage.label.title                                             = Cr\u00E9er un nouveau projet ProB
project.newProjectStage.title                                                   = Nouveau projet ProB
project.preferences.preferencesDialog.addPreferenceTitle                        = Ajouter pr\u00E9f\u00E9rence ProB
project.preferences.preferencesDialog.errorLabel.nameCannotBeDefault            = Le nom ne peut pas \u00EAtre 'default'
project.preferences.preferencesDialog.errorLabel.nameCannotBeEmpty              = Le nom ne peut pas \u00EAtre vide
project.preferences.preferencesDialog.errorLabel.preferenceAlreadyExists        = Il y a d\u00E9j\u00E0 une pr\u00E9f\u00E9rence appel\u00E9e '%s'
project.preferences.preferencesDialog.label.name                                = Name:
project.preferences.preferencesDialog.label.preferences                         = Pr\u00E9f\u00E9rences:
project.preferences.preferencesDialog.label.title                               = Pr\u00E9f\u00E9rence ProB
project.preferences.preferencesTab.contextMenu.items.edit                       = Mod\u00E8le
project.preferences.preferencesTab.contextMenu.items.remove                     = \u00C9ffacer
project.preferences.preferencesTab.noPreferences                                = Pas de pr\u00E9f\u00E9rences
project.preferences.preferencesTab.title                                        = Pr\u00E9f\u00E9rences
project.projectManager.alerts.fileAlreadyExistsWarning.content                  = '%s' existe d\u00E9j\u00E0.
project.projectManager.alerts.fileNotFound.content                              = Le fichier de project %s ne peut pas \u00EAtre trouv\u00E9.\nLe fichier a probablement \u00E9t\u00E9 d\u00E9plac\u00E9, renomm\u00E9 ou effac\u00E9.\n\nVoulez-vous effacer ce projet de la liste des projets r\u00E9cents ?
project.projectManager.alerts.fileNotFound.header                               = Fichier de projet pas trouv\u00E9.
project.projectTab.alerts.emptyNameWarning.content                              = Le nom ne peut pas \u00EAtre vide
project.projectTab.alerts.emptyNameWarning.header                               = Nom vide
project.projectTab.title                                                        = Projet
project.verifications.machineTableView.columns.ltl                              = LTL
project.verifications.machineTableView.noMachines                               = Pas de mod\u00E8le
project.verifications.verificationTab.title                                     = Statut

states.fullValueStage.prettify                               = Formater
states.fullValueStage.saveAs.defaultFileName                 = Formule
states.fullValueStage.tabs.current                           = Valeur actuelle
states.fullValueStage.tabs.diff                              = Diff\u00E9rences
states.fullValueStage.tabs.previous                          = Valeur pr\u00E9c\u00E9dente
states.stateErrorsView.noErrors                              = Pas d'erreurs dans l'\u00E9tat actuel
states.statesView.alerts.couldNotVisualizeFormula.content    = Impossible de visualiser formule
states.statesView.columns.name                               = Nom
states.statesView.columns.previousValue                      = Valeur pr\u00E9c\u00E9dente
states.statesView.columns.value                              = Valeur
states.statesView.contextMenu.items.showDetails              = Montrer d\u00E9tails
states.statesView.contextMenu.items.visualizeExpressionGraph = Visualiser expression graphiquement
states.statesView.contextMenu.items.visualizeExpressionTable = Visualize expression comme tableau
states.statesView.interactiveConsole.titledPane.title        = Console interactive
states.statesView.search.prompt                              = Filtrer \u00E9tat
states.valueCell.enumerationWarning                          = (avertissement d'\u00E9num\u00E9ration)
states.valueCell.error                                       = Erreur: %s
states.valueCell.notInitialized                              = (pas initialis\u00E9)
states.valueCell.notWellDefined                              = (pas bien d\u00E9finie)

stats.statsView.extendedStats.stateStats                          = Statistiques sur les \u00E9tats
stats.statsView.extendedStats.stateStats.numberOfStates           = \u2116 d'Etats
stats.statsView.extendedStats.stateStats.status                   = Statut
stats.statsView.extendedStats.transitionStats                     = Statistiques sur les transitions
stats.statsView.extendedStats.transitionStats.name                = Nom
stats.statsView.extendedStats.transitionStats.numberOfTransitions = \u2116 de Transitions
stats.statsView.hideExtendedStats                                 = Montrer moins d'information
stats.statsView.label.processedStates                             = \u00C9tats examin\u00E9s:
stats.statsView.label.totalTransitions                            = Nombre total de transitions:
stats.statsView.showExtendedStats                                 = Montrer plus d'information

statusbar.errors.invariantNotOK           = invariant faux
statusbar.errors.ltlError                 = formule LTL fausse
statusbar.errors.modelcheckError          = Model Checking a trouv\u00E9 une erreur
statusbar.errors.stateErrors              = erreur(s) dans l'\u00E9tat
statusbar.errors.symbolicError            = symbolic checking a trouv\u00E9 une erreur
statusbar.loadStatus.addingAnimation      = Adding animation...
statusbar.loadStatus.loading              = En chargement...
statusbar.loadStatus.loadingFile          = Chargement de fichier...
statusbar.noErrors                        = Statut: OK
statusbar.someErrors                      = Erreur(s): %s
statusbar.updatingViews                   = Mise-\u00E0-jour des vues...

symbolic.formulaInput.buttons.addAndCheck     = Ajouter et Verifier
symbolic.formulaInput.buttons.change          = Changer
symbolic.formulaInput.buttons.changeAndCheck  = Changer et Verifier
symbolic.view.contextMenu.change              = Changer Formule
symbolic.view.contextMenu.check               = Verifier
symbolic.view.contextMenu.remove              = Effacer Formule
symbolic.view.contextMenu.showCheckingMessage = Montrer Message

table.expressionTableView.alerts.visualisationNotPossible.message = Visualisation pas possible
table.expressionTableView.continuousUpdate                        = Mise-\u00E0-jour automatique
table.expressionTableView.enterFormula                            = Entrez une formule:
table.expressionTableView.stage.title                             = Visualisation comme tableau

verifications.abstractResultHandler.itemType.formula                                                 = Formule
verifications.abstractResultHandler.itemType.pattern                                                 = Pattern
verifications.checkingType.ltl                                                                       = LTL
verifications.checkingType.modelchecking                                                             = Model Checking
verifications.checkingType.replay                                                                    = Trace Replay
verifications.checkingType.symbolic                                                                  = Symbolic checking
verifications.common.columns.ltlstatus                                                               = LTL
verifications.common.columns.modelcheckstatus                                                        = Model Checking
verifications.common.columns.name                                                                    = Nom
verifications.common.columns.pattern                                                                 = Pattern
verifications.common.columns.strategy                                                                = Strategie de recherche
verifications.common.columns.symbolicstatus                                                          = Symbolic
verifications.ltl.formula.ltlFormulaStage.enterFormula                                               = Nom de la Formule
verifications.ltl.formula.ltlFormulaStage.formula                                                    = Formule
verifications.ltl.formula.ltlFormulaStage.title                                                      = Formule LTL
verifications.ltl.ltlView.addFormula                                                                 = Ajouter Formule LTL
verifications.ltl.ltlView.addPattern                                                                 = Add LTL Pattern
verifications.ltl.ltlView.contextMenu.check                                                          = Verifier
verifications.ltl.ltlView.contextMenu.openInEditor                                                   = Editer Formule
verifications.ltl.ltlView.contextMenu.removeFormula                                                  = Effacer Formule
verifications.ltl.ltlView.contextMenu.removePattern                                                  = Effacer Pattern
verifications.ltl.ltlView.contextMenu.showCheckingMessage                                            = Show Checking Message
verifications.ltl.ltlView.contextMenu.showCounterExample                                             = Montrer le contre-exemple
verifications.ltl.ltlView.noFormulas                                                                 = Pas de formule LTL
verifications.ltl.ltlView.noPattern                                                                  = Pas de Pattern LTL
verifications.ltl.pattern.ltlPatternStage.enterPattern                                               = Nom du Pattern
verifications.ltl.pattern.ltlPatternStage.pattern                                                    = Pattern
verifications.ltl.pattern.ltlPatternStage.title                                                      = LTL Pattern
verifications.modelchecking.modelcheckingStage.alerts.noMachineLoaded.content                        = Pas de mod\u00E8le charg\u00E9, impossible de lancer Model Checker.
verifications.modelchecking.modelcheckingStage.buttons.start                                         = Model Check
verifications.modelchecking.modelcheckingStage.options.findBAViolations                              = Verifier la clause ASSERTION
verifications.modelchecking.modelcheckingStage.options.findDeadlocks                                 = Rechercher des DEADLOCKS
verifications.modelchecking.modelcheckingStage.options.findGoal                                      = Rechercher GOAL (dans DEFINITIONS)
verifications.modelchecking.modelcheckingStage.options.findInvViolations                             = Verifier l'INVARIANT
verifications.modelchecking.modelcheckingStage.options.searchForNewErrors                            = Rechercher de nouvelles erreurs
verifications.modelchecking.modelcheckingStage.options.stopAtFullCoverage                            = Arreter quand chaque op\u00E9ration est couverte
verifications.modelchecking.modelcheckingStage.searchStrategy                                        = Strategie de recherche:
verifications.modelchecking.modelcheckingStage.strategy.random                                       = Al\u00E9atoire
verifications.modelchecking.modelcheckingStage.title                                                 = Model Check
verifications.modelchecking.modelcheckingStage.tooltips.searchStrategy                               = Strategie de recherche
verifications.modelchecking.modelcheckingStats.elapsedTime                                           = Temps ecoul\u00E9:
verifications.modelchecking.modelcheckingStats.processedStates                                       = Etats examin\u00E9s:
verifications.modelchecking.modelcheckingStats.resultText.noJobDone                                  = Pas de Model Checking fait.
verifications.modelchecking.modelcheckingStats.totalStates                                           = Nombre total d'etats:
verifications.modelchecking.modelcheckingStats.totalTransitions                                      = Nombre total de transitions:
verifications.modelchecking.modelcheckingView.contextMenu.check                                      = Verifier
verifications.modelchecking.modelcheckingView.contextMenu.remove                                     = Supprimer
verifications.modelchecking.modelcheckingView.contextMenu.searchForNewErrors                         = Rechercher de nouvelles erreurs
verifications.modelchecking.modelcheckingView.contextMenu.showDetails                                = Montrer d\u00E9tails
verifications.modelchecking.modelcheckingView.contextMenu.showTraceToError                           = Montrer l'erreur dans l'animateur
verifications.modelchecking.modelcheckingView.noModelcheckingJobs                                    = Pas de t\u00E2che de Model Checking
verifications.modelchecking.modelcheckingView.tooltips.addModelCheck                                 = Nouvelle t\u00E2che de Model Checking
verifications.symbolicchecking.resultHandler.refinementChecking.result.notARefinementMachine.message = Not a refinement machine
verifications.verificationsView.tabs.ltl                                                             = LTL
verifications.verificationsView.tabs.modelchecking                                                   = Model Checking
verifications.verificationsView.tabs.symbolic                                                        = Symbolique

visualisation.fx.controller.alerts.formulaListenerException.content         = \n
visualisation.stateVisualisationView.alerts.visualisationNotPossible.header = Visualisation pas possible
visualisation.view.placeholder.noAnimationFunction                          = Il n'y a pas de d\u00E9finition de `ANIMATION_FUNCTION'.
<commit_msg>Updated key order in french properties file<commit_after>
animation.tracereplay.fileChooser.loadTrace.title  = Charger trace
animation.tracereplay.fileChooser.saveTrace.title  = Sauver trace
animation.tracereplay.view.columns.name            = Nom
animation.tracereplay.view.columns.status          = Statut
animation.tracereplay.view.contextMenu.deleteTrace = Effacer Trace
animation.tracereplay.view.contextMenu.replayTrace = Rejouer Trace
animation.tracereplay.view.contextMenu.showError   = Montrer les Erreurs
animation.tracereplay.view.placeholder             = Pas de Traces
animation.tracereplay.view.tooltips.checkMachine   = Verifier mod\u00E8le
animation.tracereplay.view.tooltips.loadTrace      = Charger trace d'un fichier
animation.view.tabs.symbolic                       = Symbolique
animation.view.tabs.tracereplay                    = Rejouer

beditor.hint                 = // Chargez et animez un fichier de machine...
beditor.openExternal         = Ouvrir avec \u00E9diteur externe
beditor.reloadWarning        = L'animation n'est pas recharg\u00E9
beditor.tooltips.openMachine = Ouvrir machine
beditor.unsavedWarning       = La machine n'est pas sauv\u00E9

chart.historyChart.alerts.formulaEvalError.invalidInteger.content  = Impossible d'\u00E9valuer la formule du diagramme d'histoire:\nPas un nombre entier valide
chart.historyChart.alerts.formulaEvalError.notAnEvalResult.content = Impossible d'\u00E9valuer la formule du diagramme d'histoire:\nR\u00E9sultat pas valide: %s
chart.historyChart.separateCharts                                  = Diagrammes separ\u00E9s
chart.historyChart.stage.title                                     = Diagramme d'histoire
chart.historyChart.startPosition                                   = D\u00E9but \u00E0 la visualisation:

common.alerts.couldNotOpenFile.content      = Pas pu ouvrir fichier '%s'
common.alerts.couldNotSaveFile.content      = Impossible de sauver le fichier '%s'
common.alerts.couldNotWriteFile.content     = Impossible d'\u00E9crire dans le fichier '%s'
common.alerts.unsavedProjectChanges.content = Le projet actuel '%s' contient des modifications.\nSauver le projet?
common.buttons.apply                        = Appliquer
common.buttons.cancel                       = Annuler
common.buttons.doNotSave                    = Pas sauver
common.buttons.execute                      = Executer
common.buttons.finish                       = Finir
common.buttons.load                         = Charger
common.buttons.ok                           = OK
common.buttons.rename                       = Renommer
common.buttons.replace                      = Remplacer
common.buttons.save                         = Sauver
common.buttons.saveAs                       = Sauver comme...
common.checkMachine                         = Verifier mod\u00E8le
common.columns.description                  = Description
common.columns.formula                      = Nom de Formule
common.columns.status                       = Statut
common.contextMenu.copy                     = Copier
common.fileChooser.fileTypes.all            = Tous les fichiers
common.fileChooser.fileTypes.allProB        = Fichiers ProB (tous) (%s)
common.fileChooser.fileTypes.alloy          = Fichiers Alloy (%s)
common.fileChooser.fileTypes.classicalB     = Fichiers B classique (%s)
common.fileChooser.fileTypes.csp            = Fichiers CSP (%s)
common.fileChooser.fileTypes.diff           = Fichiers diff
common.fileChooser.fileTypes.eventB         = Fichiers EventB (%s)
common.fileChooser.fileTypes.fxml           = Fichiers FXML
common.fileChooser.fileTypes.ltl            = Fichiers LTL (%s)
common.fileChooser.fileTypes.proB2Project   = Projets ProB 2 (%s)
common.fileChooser.fileTypes.svg            = Fichiers SVG
common.fileChooser.fileTypes.text           = Fichiers texte
common.fileChooser.fileTypes.tla            = Fichiers TLA (%s)
common.fileChooser.fileTypes.xtl            = Fichiers XTL Prolog (%s)
common.fileChooser.open.title               = Ouvrir...
common.fileChooser.save.title               = Sauver...
common.fileChooser.saveAsCSV.title          = Sauver comme CSV...
common.noModelLoaded                        = Pas de mod\u00E8le charg\u00E9
common.notInitialised                       = Le mod\u00E8le n'est pas encore initialis\u00E9e.
common.prob2                                = ProB 2
common.result.interrupted.header            = V\u00E9rification pas encore fini
common.views.animation                      = Animation
common.views.history                        = Histoire
common.views.historyWithState               = Histoire (\u00E9tat %d de %d)
common.views.operations                     = Op\u00E9rations
common.views.project                        = Projet
common.views.stats                          = Statistiques
common.views.verifications                  = V\u00E9rifications

consoles.b.header                                     = ProB 2.0 Console B
consoles.b.interpreter.result.computationNotCompleted = Calcul pas fini.
consoles.b.interpreter.result.enumerationWarning      = Evaluation a produit une enumeration warning.
consoles.b.interpreter.result.evaluationError         = Erreurs pendant l'\u00E9valuation.
consoles.b.interpreter.result.notInitialized          = Identicateur n'est pas initisalis\u00E9.
consoles.b.interpreter.result.notWellDefined          = R\u00E9sultat n'est pas bien d\u00E9finie.
consoles.b.message.modelLoaded                        = Mod\u00E8le charg\u00E9: %s
consoles.b.message.modelUnloaded                      = Mod\u00E8le d\u00E9charg\u00E9
consoles.b.toolbar.clear                              = Effacer
consoles.b.toolbar.language.classicalB                = B classique
consoles.b.toolbar.language.csp                       = CSP
consoles.b.toolbar.language.eventB                    = Event-B
consoles.groovy.class.tabs.class                      = Classe
consoles.groovy.class.tabs.collection                 = Donn\u00E9es de collection
consoles.groovy.class.tabs.fields                     = Variables et propri\u00E9t\u00E9s publiques
consoles.groovy.class.tabs.methods                    = M\u00E9thodes
consoles.groovy.columns.declarer                      = Declarateur
consoles.groovy.columns.exceptions                    = Exceptions
consoles.groovy.columns.index                         = Index
consoles.groovy.columns.modifiers                     = Modificateurs
consoles.groovy.columns.name                          = Nom
consoles.groovy.columns.origin                        = Origine
consoles.groovy.columns.paramtypes                    = Param\u00E8tres
consoles.groovy.columns.returntype                    = Type retourn\u00E9
consoles.groovy.columns.type                          = Type
consoles.groovy.columns.value                         = Valeur
consoles.groovy.header                                = ProB 2.0 Console Groovy
consoles.groovy.objects.title                         = Objets Groovy
consoles.groovy.stage.title                           = Console Groovy

dotty.alerts.visualisationError.content = Visualisation pas possible
dotty.continuousUpdate                  = Mise-\u00E0-jour automatique
dotty.enterFormula                      = Tapez une formule:
dotty.stage.title                       = Visualisation de graphe

dynamic.noRelevantPreferences = Pas de pr\u00E9f\u00E9rences pour cette option

helpsystem.button.external = Page d'accueil de ProB
helpsystem.stage.title     = Aide

history.buttons.saveTrace.tooltip = Sauver la trace
history.tableView.position        = Position
history.tableView.transition      = Transition

internal.exceptionAlert.cliErrorExplanation               = Pas r\u00E9ussi \u00E0 communiquer avec le ProB CLI.\nCeci peut normalement \u00EAtre r\u00E9par\u00E9 par charger une autre machine.\n
internal.exceptionAlert.proBErrorTable.columns.locations  = Locations
internal.exceptionAlert.proBErrorTable.columns.message    = Message
internal.exceptionAlert.proBErrorTable.columns.type       = Type
internal.exceptionAlert.proBErrorTable.placeholder        = Pas de messages d'erreur
internal.exceptionAlert.proBErrorTable.type.error         = Erreur
internal.exceptionAlert.proBErrorTable.type.internalError = Erreur interne
internal.exceptionAlert.proBErrorTable.type.warning       = Avertissement
internal.javaVersionTooOld.content                        = La ProB 2 UI n\u00E9cessite version 1.8.0_60 (ou plus r\u00E9cent) de Java. Vous utilisez version %s. Veuillez mettre \u00E0 jour votre version Java pour utiliser la ProB 2 UI.
internal.javaVersionTooOld.header                         = Version Java trop ancienne
internal.navigationButtons.back.tooltip                   = Arri\u00E8re
internal.navigationButtons.fastBack.tooltip               = Arri\u00E8re (rapide)
internal.navigationButtons.fastForward.tooltip            = Avance rapide
internal.navigationButtons.forward.tooltip                = Avant
internal.navigationButtons.reload.tooltip                 = Recharger Mod\u00E8le Actuel
internal.predicateBuilderView.additionalPredicate         = Pr\u00E9dicat suppl\u00E9mentaire:
internal.predicateBuilderView.columns.name                = Nom
internal.predicateBuilderView.columns.value               = Valeur

menu.aboutBox.cliInfo                                  = ProB CLI:\nVersion: %s\nCommit: %s\n\n
menu.aboutBox.cliInfo.loading                          = (en chargement)
menu.aboutBox.javaInfo                                 = Java:\nVersion: %s (%s)\nVM: %s\nVersion de VM: %s (%s)\n\n
menu.aboutBox.kernelInfo                               = ProB 2.0 kernel:\nVersion: %s\nCommit: %s\n\n
menu.aboutBox.uiInfo                                   = ProB 2.0 UI:\nVersion: %s\nCommit: %s\n\n
menu.advanced                                          = Advanced
menu.advanced.items.groovy                             = Console Groovy...
menu.advanced.items.pluginMenu                         = Menu plugin...
menu.advanced.items.useVisualisation                   = Utiliser une visualisation
menu.advanced.items.useVisualisation.detach            = D\u00E9tacher visualisation
menu.advanced.items.useVisualisation.select            = Choisir visualisation Java...
menu.advanced.items.useVisualisation.stop              = Arr\u00EAter visualisation
menu.detatchView.explanation                           = Choisir les composants \u00E0 afficher s\u00E9par\u00E9ment:
menu.detatchView.stage.title                           = D\u00E9tacher composants
menu.externalEditor.alerts.couldNotStartEditor.content = Failed to start external editor
menu.file                                              = Fichier
menu.file.automaticProjectDescription                  = (ce projet \u00E0 \u00E9te cr\u00E9e automatiquement du fichier %s)
menu.file.items.newProject                             = Nouveau projet...
menu.file.items.open                                   = Ouvrir...
menu.file.items.openRecentProject                      = Ouvrir projet r\u00E9cent
menu.file.items.openRecentProject.items.clear          = effacer projets r\u00E9cents
menu.file.items.placeholder                            = (vide)
menu.file.items.preferences                            = Pr\u00E9f\u00E9rences...
menu.file.items.reloadMachine                          = Recharger mod\u00E8le actuel
menu.file.items.saveMachine                            = Sauver machine
menu.file.items.saveProject                            = Sauver projet
menu.file.items.viewFormattedCode                      = Afficher mod\u00E8le actuel (format\u00E9)
menu.help                                              = Aide
menu.help.items.about                                  = \u00C0 propos de ProB 2
menu.help.items.openHelp                               = Ouvrir menu d'aide
menu.help.items.reportBug                              = Rapporter un bug...
menu.mainView.tabs.beditor                             = Mod\u00E8le
menu.mainView.tabs.stateErrors                         = Erreurs dans l'\u00E9tat
menu.mainView.tabs.states                              = Vue d'\u00E9tat
menu.mainView.tabs.visualisation                       = Visualisation d'Etat
menu.reportBug.stage.title                             = Rapporter un bug
menu.view                                              = Pr\u00E9sentation
menu.view.items.enterFullScreen                        = Activer le mode plein \u00E9cran
menu.view.items.exitFullScreen                         = Quitter le mode plein \u00E9cran
menu.view.items.zoomDefault                            = Taille normale
menu.view.items.zoomIn                                 = Zoom avant
menu.view.items.zoomOut                                = Zoom arri\u00E8re
menu.visualisation                                     = Visualisation
menu.visualisation.items.graph                         = Visualisation de graphes...
menu.visualisation.items.showHistoryChart              = Diagrammes d'histoire...
menu.visualisation.items.table                         = Visualisation par tableau...
menu.window                                            = Fen\u00EAtre
menu.window.items.closeWindow                          = Fermer
menu.window.items.detach                               = D\u00E9tacher composants...
menu.window.items.perspectives                         = Perspectives
menu.window.items.perspectives.load                    = Charger...
menu.window.items.perspectives.preset.default          = D\u00E9faut
menu.window.items.perspectives.preset.separated        = Histoire s\u00E9par\u00E9
menu.window.items.perspectives.preset.separated2       = Histoire et statistiques s\u00E9par\u00E9s

operations.executeByPredicate.alerts.failedToExecuteOperation.content = Impossible d'ex\u00E9cuter op\u00E9ration avec ces param\u00E8tres et ce pr\u00E9dicat
operations.executeByPredicate.noParameters                            = Pas de param\u00E8tres
operations.executeByPredicate.operation                               = Op\u00E9ration: %s
operations.executeByPredicate.parameters                              = Param\u00E8tres:
operations.executeByPredicate.stage.title                             = Executer par pr\u00E9dicat
operations.operationDetails.columns.name                              = Nom
operations.operationDetails.columns.value                             = Valeur
operations.operationDetails.groups.constants                          = Constantes
operations.operationDetails.groups.parameters                         = Param\u00E8tres
operations.operationDetails.groups.returnValues                       = Valeurs de retour
operations.operationDetails.groups.variables                          = Variables
operations.operationDetails.title                                     = D\u00E9tail de l'op\u00E9ration
operations.operationDetails.titleWithName                             = D\u00E9tail de l'Op\u00E9ration: %s
operations.operationsView.contextMenu.items.executeByPredicate        = Executer par pr\u00E9dicat...
operations.operationsView.contextMenu.items.showDetails               = Montrer les d\u00E9tails
operations.operationsView.random.five                                 = Execute 5 op\u00E9rations
operations.operationsView.random.one                                  = Execute 1 op\u00E9ration
operations.operationsView.random.some.prompt                          = \u2116 d'op\u00E9rations
operations.operationsView.random.ten                                  = Execute 10 op\u00E9rations
operations.operationsView.search.prompt                               = Filtrer op\u00E9rations
operations.operationsView.tooltips.cancelRandom                       = Arr\u00EAter animation al\u00E9atoire
operations.operationsView.tooltips.random                             = Op\u00E9ration(s) al\u00E9atoire(s)
operations.operationsView.tooltips.reachesErrored                     = Atteint un \u00E9tat d'erreur
operations.operationsView.tooltips.reachesSame                        = Ne change pas d'\u00E9tat
operations.operationsView.tooltips.reachesUnexplored                  = Atteint un nouvel \u00E9tat
operations.operationsView.tooltips.showDisabled                       = Afficher/masquer op\u00E9rations inactives
operations.operationsView.tooltips.sort                               = Trier
operations.operationsView.tooltips.timeout                            = Time-out pour l'\u00E9venement
operations.operationsView.warningLabel.maxReached                     = Peut-\u00EAtre plus - maximum atteint

plugin.alerts.confirmOverwriteExistingFile.content     = Un fichier avec le nom '%s' existe d\u00E9j\u00E0 dans le dossier de plugins.\nIl contient le plugin %s (version %s).\nVoulez-vous remplacer le plugin existant?
plugin.alerts.couldNotCopyToPluginDirectory.content    = Pas pu copier le fichier '%s' dans le dossier de plugins!\nNormalement ce erreur indique qu'il y a d\u00E9j\u00E0 un fichier avec le m\u00EAme nom.\nL'exception lanc\u00E9 peut \u00EAtre trouv\u00E9 dans le log.
plugin.alerts.couldNotDeleteJar.content                = Pas pu effacer la jar '%s'.\nVeuillez essayer de l'effacer manuellement.
plugin.alerts.couldNotLoadPlugin.content               = Pas pu charger le plugin '%s'.\nL'exception lanc\u00E9e peut \u00EAtre trouv\u00E9e dans le log.
plugin.alerts.couldNotStartPlugin.content              = Pas pu lancer le plugin '%s'.\n\nVeuillez fermer l'application et effacer le plugin manuellement
plugin.alerts.couldNotStopPlugin.content               = Pas pu arr\u00EAter le plugin '%s'.\n\nVeuillez fermer l'application et effacer le plugin manuellement
plugin.alerts.couldNotWriteInactive.content            = Pas pu \u00E9crire la liste des plugins inactives.
plugin.alerts.wrongUIversion.content                   = Le plugin '%s' a \u00E9t\u00E9 construit pour ProB2 UI version %s. Vous utilisez la version %s.\nLa jar va \u00EAtre effac\u00E9e.
plugin.fileChooser.addPlugin.title                     = Ajouter un plugin ProB...
plugin.invalidPlugin.message.couldNotCreateInstance    = Pas pu cr\u00E9er une instance de la classe '%s'.
plugin.invalidPlugin.message.couldNotFindPluginClass   = Classe plugin '%s' pas trouv\u00E9.
plugin.invalidPlugin.message.notAValidPluginClass      = La classe '%s' n'est pas une classe plugin valide.
plugin.pluginMenu.alerts.confirmRemovingPlugin.content = Si vous effacez le plugin, la jar correspondante va \u00EAtre effac\u00E9.\n\u00CAtes-vouz s\u00FBr que vous voulez effacer le plugin '%s'?
plugin.pluginMenu.alerts.confirmRemovingPlugin.header  = Effacer plugin
plugin.pluginMenu.buttons.addPlugin                    = Ajouter un plugin ProB...
plugin.pluginMenu.buttons.changePath                   = Changer chemin...
plugin.pluginMenu.buttons.reloadPlugin                 = Recharger les plugins
plugin.pluginMenu.directoryChooser.changePath.title    = Changer chemin...
plugin.pluginMenu.path                                 = Chemin:
plugin.pluginMenu.search                               = Search Plugins:
plugin.pluginMenu.search.prompt                        = Rechercher
plugin.pluginMenu.stage.title                          = Menu plugin
plugin.pluginMenu.table.columns.active                 = Active
plugin.pluginMenu.table.columns.name                   = Nom
plugin.pluginMenu.table.columns.version                = Version
plugin.pluginMenu.table.contextmenu.remove             = Effacer %s
plugin.pluginMenu.table.contextmenu.restart            = Red\u00E9marrer %s
plugin.pluginMenu.table.noPluginsLoaded                = Pas de plugin charg\u00E9

preferences.preferencesView.table.columns.changed                    = *
preferences.preferencesView.table.columns.defaultValue               = Valeur par d\u00E9faut
preferences.preferencesView.table.columns.description                = Description
preferences.preferencesView.table.columns.name                       = Nom
preferences.preferencesView.table.columns.value                      = Valeur
preferences.stage.tabs.general                                       = G\u00E9n\u00E9ral
preferences.stage.tabs.general.buttons.selectLocation                = Choisir endroit...
preferences.stage.tabs.general.directoryChooser.selectLocation.title = Choisissez l'endroit d\u00E9faut pour des projets nouveaux
preferences.stage.tabs.general.label.defaultLocationForProjects      = Endroit d\u00E9faut pour des projets nouveaux:
preferences.stage.tabs.general.label.localeOverride                  = Langue de l'interface:
preferences.stage.tabs.general.label.recentProjectsLimit             = Num\u00E9ro de projets recents \u00E0 retenir:
preferences.stage.tabs.general.localeChangeWarning                   = L'application doit \u00EAtre r\u00E9demarr\u00E9 pour appliquer le changement de la langue d'interface.
preferences.stage.tabs.globalPreferences                             = Pr\u00E9f\u00E9rences globales
preferences.stage.tabs.globalPreferences.buttons.restoreDefaults     = Recharger les d\u00E9fauts
preferences.stage.tabs.globalPreferences.buttons.undo                = Annuler les changes
preferences.stage.tabs.globalPreferences.notAppliedWarning           = Mod\u00E8le doit \u00EAtre recharg\u00E9 pour appliquer les changements
preferences.stage.title                                              = Pr\u00E9f\u00E9rences

prob2fx.currentProject.alerts.confirmReplacingProject.content = Voulez-vous fermer le projet courant?\nTous changements pas sauv\u00E9s vont \u00EAtre perdus.
prob2fx.currentProject.alerts.confirmReplacingProject.header  = Un projet est d\u00E9j\u00E0 ouvert.

project.machineLoader.alerts.couldNotOpen.content                               = Impossible d'ouvrir mod\u00E8le '%s'
project.machineLoader.alerts.fileNotFound.content                               = Le fichier '%s' n'a pas \u00E9t\u00E9 trouv\u00E9.\nLe fichier a probablement \u00E9t\u00E9 effac\u00E9 ou renomm\u00E9.
project.machineLoader.alerts.fileNotFound.header                                = Fichier pas trouv\u00E9.
project.machines.editMachinesDialog.label.description                           = Description:
project.machines.editMachinesDialog.label.name                                  = Nom:
project.machines.editMachinesDialog.machineAlreadyExistsError                   = Il y a d\u00E9j\u00E0 une machine appel\u00E9 '%s' dans le projet courant.
project.machines.machineDescriptionView.placeholder                             = (pas de description disponible)
project.machines.machineDescriptionView.title                                   = %s - Description
project.machines.machinesItem.contextMenu.items.editMachineConfiguration        = Editer configuration mod\u00E8le
project.machines.machinesItem.contextMenu.items.editMachineFileInExternalEditor = \u00C9diter fichier mod\u00E8le avec \u00E9diteur externe
project.machines.machinesItem.contextMenu.items.removeMachine                   = Effacer mod\u00E8le
project.machines.machinesItem.contextMenu.items.showMachineDescription          = Montrer description du mod\u00E8le
project.machines.machinesItem.contextMenu.items.startAnimation                  = D\u00E9marrer animation...
project.machines.machinesTab.alerts.machineAlreadyExists.content                = Il y a d\u00E9j\u00E0 une machine appel\u00E9 '%s' dans le projet courant.
project.machines.machinesTab.alerts.removeMachineConfirmation.content           = Est-ce que vous \u00E9tes s\u00FBr de vouloir effacer le mod\u00E8le '%s'?
project.machines.machinesTab.noMachines                                         = Pas de mod\u00E8le
project.machines.machinesTab.title                                              = Mod\u00E8les
project.newProjectStage.buttons.selectLocation                                  = Choisir endroit...
project.newProjectStage.directoryChooser.selectLocation.title                   = Choisir endroit
project.newProjectStage.invalidLocationError                                    = L'endroit n'existe pas ou n'est pas valide
project.newProjectStage.label.description                                       = Description:
project.newProjectStage.label.location                                          = Endroit:
project.newProjectStage.label.name                                              = Nom du projet:
project.newProjectStage.label.title                                             = Cr\u00E9er un nouveau projet ProB
project.newProjectStage.title                                                   = Nouveau projet ProB
project.preferences.preferencesDialog.addPreferenceTitle                        = Ajouter pr\u00E9f\u00E9rence ProB
project.preferences.preferencesDialog.errorLabel.nameCannotBeDefault            = Le nom ne peut pas \u00EAtre 'default'
project.preferences.preferencesDialog.errorLabel.nameCannotBeEmpty              = Le nom ne peut pas \u00EAtre vide
project.preferences.preferencesDialog.errorLabel.preferenceAlreadyExists        = Il y a d\u00E9j\u00E0 une pr\u00E9f\u00E9rence appel\u00E9e '%s'
project.preferences.preferencesDialog.label.name                                = Name:
project.preferences.preferencesDialog.label.preferences                         = Pr\u00E9f\u00E9rences:
project.preferences.preferencesDialog.label.title                               = Pr\u00E9f\u00E9rence ProB
project.preferences.preferencesTab.contextMenu.items.edit                       = Mod\u00E8le
project.preferences.preferencesTab.contextMenu.items.remove                     = \u00C9ffacer
project.preferences.preferencesTab.noPreferences                                = Pas de pr\u00E9f\u00E9rences
project.preferences.preferencesTab.title                                        = Pr\u00E9f\u00E9rences
project.projectManager.alerts.fileAlreadyExistsWarning.content                  = '%s' existe d\u00E9j\u00E0.
project.projectManager.alerts.fileNotFound.content                              = Le fichier de project %s ne peut pas \u00EAtre trouv\u00E9.\nLe fichier a probablement \u00E9t\u00E9 d\u00E9plac\u00E9, renomm\u00E9 ou effac\u00E9.\n\nVoulez-vous effacer ce projet de la liste des projets r\u00E9cents ?
project.projectManager.alerts.fileNotFound.header                               = Fichier de projet pas trouv\u00E9.
project.projectTab.alerts.emptyNameWarning.content                              = Le nom ne peut pas \u00EAtre vide
project.projectTab.alerts.emptyNameWarning.header                               = Nom vide
project.projectTab.title                                                        = Projet
project.verifications.machineTableView.columns.ltl                              = LTL
project.verifications.machineTableView.noMachines                               = Pas de mod\u00E8le
project.verifications.verificationTab.title                                     = Statut

states.fullValueStage.prettify                               = Formater
states.fullValueStage.saveAs.defaultFileName                 = Formule
states.fullValueStage.tabs.current                           = Valeur actuelle
states.fullValueStage.tabs.diff                              = Diff\u00E9rences
states.fullValueStage.tabs.previous                          = Valeur pr\u00E9c\u00E9dente
states.stateErrorsView.noErrors                              = Pas d'erreurs dans l'\u00E9tat actuel
states.statesView.alerts.couldNotVisualizeFormula.content    = Impossible de visualiser formule
states.statesView.columns.name                               = Nom
states.statesView.columns.previousValue                      = Valeur pr\u00E9c\u00E9dente
states.statesView.columns.value                              = Valeur
states.statesView.contextMenu.items.showDetails              = Montrer d\u00E9tails
states.statesView.contextMenu.items.visualizeExpressionGraph = Visualiser expression graphiquement
states.statesView.contextMenu.items.visualizeExpressionTable = Visualize expression comme tableau
states.statesView.interactiveConsole.titledPane.title        = Console interactive
states.statesView.search.prompt                              = Filtrer \u00E9tat
states.valueCell.enumerationWarning                          = (avertissement d'\u00E9num\u00E9ration)
states.valueCell.error                                       = Erreur: %s
states.valueCell.notInitialized                              = (pas initialis\u00E9)
states.valueCell.notWellDefined                              = (pas bien d\u00E9finie)

stats.statsView.extendedStats.stateStats                          = Statistiques sur les \u00E9tats
stats.statsView.extendedStats.stateStats.numberOfStates           = \u2116 d'Etats
stats.statsView.extendedStats.stateStats.status                   = Statut
stats.statsView.extendedStats.transitionStats                     = Statistiques sur les transitions
stats.statsView.extendedStats.transitionStats.name                = Nom
stats.statsView.extendedStats.transitionStats.numberOfTransitions = \u2116 de Transitions
stats.statsView.hideExtendedStats                                 = Montrer moins d'information
stats.statsView.label.processedStates                             = \u00C9tats examin\u00E9s:
stats.statsView.label.totalTransitions                            = Nombre total de transitions:
stats.statsView.showExtendedStats                                 = Montrer plus d'information

statusbar.errors.invariantNotOK      = invariant faux
statusbar.errors.ltlError            = formule LTL fausse
statusbar.errors.modelcheckError     = Model Checking a trouv\u00E9 une erreur
statusbar.errors.stateErrors         = erreur(s) dans l'\u00E9tat
statusbar.errors.symbolicError       = symbolic checking a trouv\u00E9 une erreur
statusbar.loadStatus.addingAnimation = Adding animation...
statusbar.loadStatus.loading         = En chargement...
statusbar.loadStatus.loadingFile     = Chargement de fichier...
statusbar.noErrors                   = Statut: OK
statusbar.someErrors                 = Erreur(s): %s
statusbar.updatingViews              = Mise-\u00E0-jour des vues...

symbolic.formulaInput.buttons.addAndCheck     = Ajouter et Verifier
symbolic.formulaInput.buttons.change          = Changer
symbolic.formulaInput.buttons.changeAndCheck  = Changer et Verifier
symbolic.view.contextMenu.change              = Changer Formule
symbolic.view.contextMenu.check               = Verifier
symbolic.view.contextMenu.remove              = Effacer Formule
symbolic.view.contextMenu.showCheckingMessage = Montrer Message

table.expressionTableView.alerts.visualisationNotPossible.message = Visualisation pas possible
table.expressionTableView.continuousUpdate                        = Mise-\u00E0-jour automatique
table.expressionTableView.enterFormula                            = Entrez une formule:
table.expressionTableView.stage.title                             = Visualisation comme tableau

verifications.abstractResultHandler.itemType.formula                                                 = Formule
verifications.abstractResultHandler.itemType.pattern                                                 = Pattern
verifications.checkingType.ltl                                                                       = LTL
verifications.checkingType.modelchecking                                                             = Model Checking
verifications.checkingType.replay                                                                    = Trace Replay
verifications.checkingType.symbolic                                                                  = Symbolic checking
verifications.common.columns.ltlstatus                                                               = LTL
verifications.common.columns.modelcheckstatus                                                        = Model Checking
verifications.common.columns.name                                                                    = Nom
verifications.common.columns.pattern                                                                 = Pattern
verifications.common.columns.strategy                                                                = Strategie de recherche
verifications.common.columns.symbolicstatus                                                          = Symbolic
verifications.ltl.formula.ltlFormulaStage.enterFormula                                               = Nom de la Formule
verifications.ltl.formula.ltlFormulaStage.formula                                                    = Formule
verifications.ltl.formula.ltlFormulaStage.title                                                      = Formule LTL
verifications.ltl.ltlView.addFormula                                                                 = Ajouter Formule LTL
verifications.ltl.ltlView.addPattern                                                                 = Add LTL Pattern
verifications.ltl.ltlView.contextMenu.check                                                          = Verifier
verifications.ltl.ltlView.contextMenu.openInEditor                                                   = Editer Formule
verifications.ltl.ltlView.contextMenu.removeFormula                                                  = Effacer Formule
verifications.ltl.ltlView.contextMenu.removePattern                                                  = Effacer Pattern
verifications.ltl.ltlView.contextMenu.showCheckingMessage                                            = Show Checking Message
verifications.ltl.ltlView.contextMenu.showCounterExample                                             = Montrer le contre-exemple
verifications.ltl.ltlView.noFormulas                                                                 = Pas de formule LTL
verifications.ltl.ltlView.noPattern                                                                  = Pas de Pattern LTL
verifications.ltl.pattern.ltlPatternStage.enterPattern                                               = Nom du Pattern
verifications.ltl.pattern.ltlPatternStage.pattern                                                    = Pattern
verifications.ltl.pattern.ltlPatternStage.title                                                      = LTL Pattern
verifications.modelchecking.modelcheckingStage.alerts.noMachineLoaded.content                        = Pas de mod\u00E8le charg\u00E9, impossible de lancer Model Checker.
verifications.modelchecking.modelcheckingStage.buttons.start                                         = Model Check
verifications.modelchecking.modelcheckingStage.options.findBAViolations                              = Verifier la clause ASSERTION
verifications.modelchecking.modelcheckingStage.options.findDeadlocks                                 = Rechercher des DEADLOCKS
verifications.modelchecking.modelcheckingStage.options.findGoal                                      = Rechercher GOAL (dans DEFINITIONS)
verifications.modelchecking.modelcheckingStage.options.findInvViolations                             = Verifier l'INVARIANT
verifications.modelchecking.modelcheckingStage.options.searchForNewErrors                            = Rechercher de nouvelles erreurs
verifications.modelchecking.modelcheckingStage.options.stopAtFullCoverage                            = Arreter quand chaque op\u00E9ration est couverte
verifications.modelchecking.modelcheckingStage.searchStrategy                                        = Strategie de recherche:
verifications.modelchecking.modelcheckingStage.strategy.random                                       = Al\u00E9atoire
verifications.modelchecking.modelcheckingStage.title                                                 = Model Check
verifications.modelchecking.modelcheckingStage.tooltips.searchStrategy                               = Strategie de recherche
verifications.modelchecking.modelcheckingStats.elapsedTime                                           = Temps ecoul\u00E9:
verifications.modelchecking.modelcheckingStats.processedStates                                       = Etats examin\u00E9s:
verifications.modelchecking.modelcheckingStats.resultText.noJobDone                                  = Pas de Model Checking fait.
verifications.modelchecking.modelcheckingStats.totalStates                                           = Nombre total d'etats:
verifications.modelchecking.modelcheckingStats.totalTransitions                                      = Nombre total de transitions:
verifications.modelchecking.modelcheckingView.contextMenu.check                                      = Verifier
verifications.modelchecking.modelcheckingView.contextMenu.remove                                     = Supprimer
verifications.modelchecking.modelcheckingView.contextMenu.searchForNewErrors                         = Rechercher de nouvelles erreurs
verifications.modelchecking.modelcheckingView.contextMenu.showDetails                                = Montrer d\u00E9tails
verifications.modelchecking.modelcheckingView.contextMenu.showTraceToError                           = Montrer l'erreur dans l'animateur
verifications.modelchecking.modelcheckingView.noModelcheckingJobs                                    = Pas de t\u00E2che de Model Checking
verifications.modelchecking.modelcheckingView.tooltips.addModelCheck                                 = Nouvelle t\u00E2che de Model Checking
verifications.symbolicchecking.resultHandler.refinementChecking.result.notARefinementMachine.message = Not a refinement machine
verifications.verificationsView.tabs.ltl                                                             = LTL
verifications.verificationsView.tabs.modelchecking                                                   = Model Checking
verifications.verificationsView.tabs.symbolic                                                        = Symbolique

visualisation.fx.controller.alerts.formulaListenerException.content         = \n
visualisation.stateVisualisationView.alerts.visualisationNotPossible.header = Visualisation pas possible
visualisation.view.placeholder.noAnimationFunction                          = Il n'y a pas de d\u00E9finition de `ANIMATION_FUNCTION'.

{'fraction_non_alphanumeric': 0.06400442681914599, 'fraction_numerical': 0.020263237638502785, 'mean_word_length': 1.8718123344684072, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 2}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 356, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1784628', 'n_tokens_mistral': 20575, 'n_tokens_neox': 19276, 'n_words': 3534}