Formalisation méthodologique

Axiomes et conditions de validité du modèle Savoy de restitution multiple

Note de version — 14 septembre 2026. La traduction principale de La Bible Savoy comporte désormais sept restitutions : Clarté · Lecture · Proclamation · Déployée · Littérale · Philologique · Paraphrase. Les mentions à six restitutions conservées dans ce chapitre décrivent un état antérieur du modèle, un protocole ou un snapshot quantitatif établi avant l’intégration de Paraphrase ; elles sont maintenues pour la traçabilité historique et empirique.

Le modèle peut être décrit indépendamment de la Bible Savoy comme un système traductologique à analyse commune et sorties fonctionnellement spécialisées. Cette section en fixe les définitions minimales, les axiomes et les tests de cohérence.

1. Définitions

Traduction : l’ensemble du processus qui conduit du texte source à l’édition française. Dossier commun : l’établissement textuel et l’analyse critique, philologique, exégétique, historique et littéraire partagés. Restitution : une réalisation française gouvernée par une fonction explicite. Fonction : la propriété que la restitution cherche prioritairement à maximiser sous contrainte de fidélité au dossier commun.

2. Axiome d’unité amont

Pour une même unité textuelle, les sept restitutions doivent dépendre du même état du dossier commun. Une restitution ne peut invoquer silencieusement un autre texte source, une autre analyse syntaxique ou une autre hypothèse exégétique afin de justifier sa formulation.

3. Axiome de divergence tardive

La divergence entre restitutions intervient après l’établissement et l’analyse argumentée du texte. Elle porte sur la manière de rendre le résultat de cette analyse en français, non sur la création de sept diagnostics philologiques indépendants.

4. Axiome de spécialisation fonctionnelle

Chaque restitution possède une fonction prioritaire distincte : intelligibilité immédiate, lecture continue, réception orale, explicitation contrôlée, visibilité structurelle, exposition philologique ou reformulation discursive contrôlée. Une différence entre deux restitutions n’est légitime que si elle peut être rattachée à cette spécialisation.

5. Axiome de non-hiérarchie

Les sept restitutions ne sont pas ordonnées sur une échelle de qualité globale. Aucune ne peut être déclarée supérieure en général, car elles optimisent des propriétés différentes sous contraintes concurrentes. Le modèle interdit donc de traiter Philologique ou Littérale comme « plus vraies », ou Clarté comme « moins fidèle » par définition.

6. Axiome de traçabilité

Toute divergence substantielle entre restitutions doit pouvoir être retracée jusqu’à une donnée du dossier commun et à une règle fonctionnelle. Une divergence inexplicable constitue une anomalie méthodologique.

7. Axiome de révision commune

Lorsqu’une donnée du dossier commun est corrigée, les sept restitutions concernées doivent être réexaminées. Inversement, une amélioration locale propre à une fonction — par exemple une meilleure cadence en Proclamation — ne modifie pas le dossier commun tant qu’elle n’implique aucune nouvelle analyse du texte source.

8. Axiome d’incertitude partagée

Lorsque le dossier commun conserve plusieurs analyses admissibles, cette pluralité appartient au dossier et non à une restitution particulière. Les sept restitutions peuvent la gérer différemment selon leur fonction, mais aucune ne peut transformer une hypothèse secondaire en certitude sans révision préalable du dossier.

9. Axiome de séparation des instruments

L’interlinéaire, les annotations et l’environnement Étude ne sont pas des restitutions. Ils servent respectivement à aligner, documenter et contrôler. Cette séparation empêche que le nombre des sorties fonctionnelles dépende du nombre d’outils disponibles.

Axiome d’indépendance de l’implémentation

Le modèle n’est pas défini par un logiciel, une interface ou un format de fichier particulier. Il demeure le même si les sept restitutions sont publiées sur papier, dans une application ou dans un dépôt de données, à condition que le dossier commun, les fonctions, la dérivation parallèle et la traçabilité soient préservés. Cette indépendance protège la théorie contre l’obsolescence technologique.

Condition d’identité du modèle

Une évolution éditoriale ne crée pas nécessairement un nouveau modèle. Changer un nom de restitution, améliorer une interface ou préciser un critère peut rester compatible avec la même architecture. En revanche, introduire un texte pivot, supprimer l’unité du dossier commun, permettre des analyses source indépendantes par restitution ou fusionner Étude dans une septième sortie modifierait une propriété constitutive et devrait être traité comme révision majeure du modèle.

Cette condition d’identité est utile pour le versionnage de recherche : elle distingue maturation d’une théorie et remplacement de la théorie par une autre architecture.

10. Conditions de cohérence inter-restitutions

Deux conditions doivent être satisfaites simultanément : compatibilité sémantique, c’est-à-dire absence de contradiction injustifiée sur le sens retenu ; différenciation fonctionnelle, c’est-à-dire possibilité d’expliquer les écarts par la fonction propre de chaque restitution.

11. Principe de non-domination

Le modèle ne recherche pas une phrase unique qui maximiserait simultanément toutes les propriétés. Il suppose au contraire que certaines propriétés entrent en tension : naturalité et visibilité de la syntaxe source, brièveté et explicitation, première écoute et conservation de certaines ambiguïtés graphiques. Les sept restitutions constituent donc un ensemble de solutions spécialisées plutôt qu’un classement du moins bon au meilleur.

Axiome de falsifiabilité interne

Chaque restitution doit posséder des conditions explicites d’échec. Le modèle interdit de protéger une sortie contre toute critique en redéfinissant a posteriori sa fonction. Si Proclamation n’améliore pas l’écoute, si Littérale ne rend pas davantage la structure perceptible ou si Philologique n’apporte aucun gain analytique, la fonction doit être réexaminée.

Cette exigence s’applique aussi à l’architecture globale : une forte divergence n’est pas automatiquement interprétée comme preuve de spécialisation et une forte convergence n’est pas automatiquement lue comme preuve de redondance. Les deux deviennent des hypothèses à tester.

12. Critères de réfutation pratique

Le modèle est mis en défaut si plusieurs restitutions reposent durablement sur des analyses sources incompatibles ; si une restitution ne produit aucune différence fonctionnelle observable sur un corpus approprié ; si Déployée ajoute du commentaire non contraint par le texte ; si Littérale devient un interlinéaire ; si Philologique absorbe l’appareil Étude ; si Paraphrase ajoute un contenu étranger au dossier ou se comporte comme une traduction pivot ; ou si Proclamation n’apporte aucun bénéfice mesurable à l’écoute.

Hiérarchie des anomalies

Les anomalies n’ont pas toutes le même poids. Une formulation maladroite peut être corrigée localement ; une confusion répétée entre Littérale et Philologique peut révéler une frontière insuffisamment définie ; une divergence de texte source entre restitutions attaque directement l’axiome d’unité amont. L’évaluation doit donc distinguer défaut local, défaut fonctionnel et défaut architectural.

Dépendances entre axiomes

Les axiomes ne sont pas tous indépendants. L’unité amont et la divergence tardive rendent possible la traçabilité ; l’incertitude partagée découle de l’idée que l’espace des analyses admissibles précède les restitutions ; la révision commune est la conséquence temporelle de cette même unité. Les présenter séparément reste utile parce qu’ils peuvent échouer de manières différentes dans la pratique.

Une implémentation peut, par exemple, partager un dossier au départ mais violer la révision commune en laissant certaines restitutions sur un ancien état. Elle peut aussi respecter la révision tout en laissant une restitution devenir pivot. L’audit doit donc contrôler chaque axiome même lorsque leurs justifications théoriques sont liées.

Ordre de priorité en cas de conflit

Lorsqu’une exigence fonctionnelle entre en conflit avec le dossier commun, la fidélité au dossier prime : la fonction ne possède jamais le droit de produire une analyse exclue. Lorsqu’une exigence de lisibilité entre en conflit avec la visibilité structurelle, le conflit n’est pas résolu globalement mais distribué entre restitutions. Cette hiérarchie distingue contraintes constitutives et préférences fonctionnelles.

Le principe de non-hiérarchie concerne donc les sept restitutions, non toutes les règles du système. L’unité analytique en amont est une contrainte supérieure : sans elle, le système cesse d’être une traduction à restitutions coordonnées.

Axiomes et réfutabilité

Chaque axiome doit correspondre à un test observable. Le pivot peut être recherché dans la provenance du workflow ; la divergence tardive dans le registre des décisions ; la spécialisation par des tests fonctionnels ; la révision commune par les historiques de versions. Un axiome impossible à confronter au corpus ne serait qu’une déclaration de principe.

Cette opérationnalisation transforme la formalisation en programme d’audit : le modèle n’est pas seulement défini par ce qu’il affirme, mais par les traces que son fonctionnement doit laisser.

13. Formule canonique

Texte source → établissement et analyse du texte → détermination argumentée du sens, y compris ses incertitudes → sept modalités coordonnées de restitution.

Définition publique. Cette formalisation du « modèle Savoy de restitution multiple » est publiée par Pierre-Alain Savoy en 2026 dans la présente monographie. Toute évolution ultérieure devra être versionnée de manière à distinguer la définition historique de ses révisions.