Création marketplace

Feature flags marketplace : déployer une règle sans exposer tout le trafic

Jérémy Chomel Dawap
  • Publié le : 31 mai 2026
  • Mis à jour le : 6 août 2026
  • Temps de lecture : 21 minutes
  1. Séparer la règle métier de son mode d’activation
  2. Choisir le bon type de feature flag
  3. Définir un contexte d’évaluation minimal
  4. Construire des cohortes stables et explicables
  5. Garantir une décision cohérente dans le parcours
  6. Ordonner les dépendances entre règles
  7. Mesurer qualité métier et impact opérationnel
  8. Conserver une population de comparaison
  9. Rendre chaque évaluation traçable
  10. Préparer l’arrêt sans produire un nouvel incident
  11. Retirer le feature flag et sa dette
  12. Savoir dans quels cas déployer par paliers
  13. Décider une extension avec des critères fermés
  14. Éviter les erreurs fréquentes de ciblage
  15. Plan d’action : ouvrir une règle en cinq étapes
  16. Relier MVP, observabilité et contrats
  17. Conclusion : un interrupteur doit disparaître
Portrait de Jérémy Chomel

Une nouvelle règle d’acceptation vendeur fonctionne pendant la recette, puis bloque 18 % des offres lors de son ouverture. L’équipe la désactive, mais les commandes commencées sous la nouvelle logique poursuivent leur parcours avec un état devenu incompréhensible. Le feature flag a limité l’exposition initiale ; il n’a pas défini ce qui devait arriver aux dossiers déjà engagés.

Ce scénario révèle une confusion fréquente. Un interrupteur technique ne remplace ni la règle métier, ni la cohorte, ni les critères de succès, ni la procédure d’arrêt. Sans ces décisions, l’outil ajoute un chemin caché dans le code et déplace le risque vers le support, les vendeurs et la finance.

La vraie question consiste à savoir quelle population reçoit quelle version, pendant combien de temps, avec quelles preuves et quelle issue en cas d’écart. Le déploiement progressif devient alors une expérience opérationnelle contrôlée. Il protège le trafic tout en obligeant l’équipe à rendre sa décision observable.

Dans une marketplace opérateur, cette discipline concerne recherche, commission, catalogue, paiement, logistique et back-office. Elle aide à faire évoluer une règle sensible sans transformer vendeurs et acheteurs en testeurs involontaires, puis à supprimer le mécanisme temporaire lorsque le comportement est validé.

Séparer la règle métier de son mode d’activation

Nommer le comportement avant l’interrupteur

La règle décrit un résultat : calculer une commission, choisir un vendeur, accepter un attribut ou réserver un stock. Le feature flag décide seulement si cette version s’applique dans un contexte donné. Cette séparation permet de tester la règle indépendamment et d’éviter que son identifiant devienne une condition métier permanente.

Le dossier de décision précise comportement ancien, comportement nouveau, différence attendue et objets touchés. Une phrase comme « activer le nouveau moteur » reste insuffisante. Elle doit expliquer si les résultats existants sont conservés, recalculés ou seulement appliqués aux nouvelles intentions.

Définir la durée de vie dès la création

Chaque interrupteur possède une personne responsable, une date de revue et une condition de retrait. Un mécanisme d’expérimentation peut vivre deux semaines ; une permission contractuelle peut rester plus longtemps. Les deux ne doivent pas partager la même gouvernance sous prétexte qu’ils utilisent le même service.

Si aucune échéance n’est crédible, alors le besoin ressemble probablement à une configuration produit durable. Dans ce cas, il faut lui donner version, interface et règles de validation plutôt que cacher un paramètre sans cycle de vie dans le dépôt.

Choisir le bon type de feature flag

Distinguer ouverture, expérimentation et permission

Un interrupteur d’ouverture accompagne une livraison courte et disparaît après généralisation. Un interrupteur d’expérience compare deux comportements sur des populations. Une permission active une capacité selon un contrat vendeur. Un dispositif de sécurité coupe rapidement une fonction dont la dépendance devient dangereuse.

Le type détermine les données conservées et la personne habilitée à agir. Une expérience exige une affectation stable et des mesures comparables. Une permission exige un droit explicite. Un arrêt d’urgence privilégie une décision rapide mais documentée. Mélanger ces usages rend les audits et le nettoyage presque impossibles.

Éviter le booléen quand plusieurs paliers existent

Deux valeurs suffisent pour ancien ou nouveau comportement. Elles deviennent ambiguës lorsqu’il existe pilote interne, cinq vendeurs, une catégorie et une région. Une configuration typée peut représenter les paliers, tandis que chaque valeur reste validée avant publication.

Le système refuse une combinaison inconnue au lieu de l’interpréter comme faux. Il journalise la version de configuration et le choix final. Cette rigueur évite qu’une faute de saisie ouvre silencieusement toute la population ou ferme une capacité contractuelle.

Définir un contexte d’évaluation minimal

Utiliser uniquement les attributs nécessaires

Le ciblage peut dépendre de l’identifiant vendeur, de la catégorie, du pays, du canal ou d’une cohorte attribuée. Chaque attribut doit avoir une source, une définition et une disponibilité au moment de l’évaluation. Ajouter tout le profil client rend la décision opaque et augmente inutilement l’exposition des données.

Le contexte distingue valeur absente et valeur fausse. Si le pays logistique manque, alors la règle choisit un comportement explicitement prévu ou interrompt le parcours concerné. Elle ne transforme pas une absence de donnée en appartenance à la population par défaut.

Évaluer près de la décision métier

L’interface peut adapter un écran, mais elle ne doit pas décider seule d’une commission ou d’une éligibilité. La décision est répétée par le service qui possède l’action. Le résultat visible et le résultat exécuté proviennent de la même politique ou d’un contrat partagé.

Les entrées couvrent contexte, règle et version ; la sortie indique variante et motif ; les dépendances nomment le service de configuration ; les seuils fixent le comportement en cas d’indisponibilité ; la journalisation conserve le résultat. Une file de changements permet de propager la configuration sans perdre son ordre.

Construire des cohortes stables et explicables

Affecter une entité une seule fois

Un pourcentage n’a de sens que si la même entité reste dans le même groupe. Une fonction déterministe associe identifiant stable et clé d’expérience. Le vendeur ne change pas de version à chaque requête et un acheteur ne voit pas deux règles pendant le même parcours.

L’unité d’affectation suit le risque. Une nouvelle présentation peut cibler la session ; un calcul de commission doit cibler le contrat ou la sous-commande. Choisir l’utilisateur par habitude peut mélanger deux vendeurs ou deux commandes qui exigent des décisions indépendantes.

Exclure les populations incompatibles

Les comptes internes, vendeurs en formation, catégories réglementées ou régions non couvertes peuvent sortir de l’expérience. Chaque exclusion possède un motif. Une liste manuelle de noms devient vite obsolète ; mieux vaut une propriété gouvernée ou une cohorte versionnée.

Par exemple, ouvrir à 5 % de tous les vendeurs ne garantit pas cinq vendeurs représentatifs si les volumes sont très concentrés. La cohorte peut être stratifiée par taille, secteur et qualité de flux, puis plafonnée afin qu’un seul acteur ne porte pas presque toute l’exposition.

Garantir une décision cohérente dans le parcours

Figer la variante sur l’objet durable

Quand une règle influence une commande, la variante évaluée est enregistrée avec cette commande. Une modification du pourcentage deux heures plus tard ne change pas les dossiers déjà créés. Elle concerne les nouvelles intentions, sauf migration explicite et recettée.

Le calcul peut rester reproductible à partir de l’identifiant, mais conserver le résultat protège contre une modification de clé ou d’algorithme. Le support retrouve la version réellement utilisée et ne tente pas de reconstruire le passé avec la configuration présente.

Propager la variante sans la laisser contaminer le domaine

Les services transmettent une version de politique ou un résultat utile, pas une suite de conditions sur le nom technique de l’interrupteur. La règle demeure testable sans service distant. Les consommateurs savent pourquoi un champ existe et quand ils peuvent l’abandonner.

Une réponse tardive porte la version évaluée. Si elle ne correspond plus à l’objet courant, alors elle est archivée sans écraser la décision récente. Cette précaution devient essentielle lorsqu’une indexation, un calcul de prix ou une modération s’exécute de manière asynchrone.

Ordonner les dépendances entre règles

Rendre la priorité visible

Une permission vendeur peut limiter une expérience globale. Une règle pays peut interdire une catégorie même si l’ouverture est active. Ces priorités sont définies dans une décision lisible : sécurité et contrat, puis éligibilité, puis expérience. L’ordre ne dépend pas de l’enchaînement accidentel de trois conditions dans le code.

Le résultat conserve le premier motif qui ferme le parcours et les informations utiles au diagnostic. Une équipe comprend pourquoi un vendeur n’entre pas dans la cohorte sans activer tous les interrupteurs au hasard. Elle distingue une exclusion volontaire d’une erreur d’évaluation.

Limiter les combinaisons non testées

Trois interrupteurs booléens créent déjà huit combinaisons. Cinq en créent 32. L’équipe ne peut pas traiter chaque ajout comme une décision isolée si les règles touchent la même commande. Elle déclare les combinaisons supportées et empêche celles dont le comportement n’a pas été défini.

Contre-intuitivement, ouvrir un changement à 1 % ne réduit pas le risque si cette population traverse une combinaison jamais recettée. La priorité va d’abord aux dépendances et invariants, puis au volume. Une faible exposition n’excuse pas un état financier impossible à corriger.

Mesurer qualité métier et impact opérationnel

Choisir un indicateur principal lié à la règle

Une amélioration de matching suit la précision des rapprochements et les corrections humaines. Une nouvelle commission suit les écarts de calcul, la marge et les contestations. Une modification de recherche suit résultats sans clic, ajout au panier et temps de réponse. Le compteur d’erreurs techniques ne suffit pas à valider une décision métier.

Le dossier fixe la mesure, la fenêtre et le niveau d’analyse avant l’ouverture. Si le taux d’erreur dépasse 1 % sur une règle financière pendant 15 minutes, alors l’exposition cesse pour les nouvelles commandes. Le seuil illustre une porte locale ; il doit être adapté au risque et au trafic.

Surveiller les coûts transférés

Un parcours peut sembler plus rapide tout en créant des tickets, des corrections vendeur ou des écarts de rapprochement le lendemain. Les mesures associent performance immédiate, qualité aval, charge support et temps utile des opérations. Elles suivent une durée suffisante pour voir le cycle complet.

Le premier signal faible apparaît quand les conseillers ajoutent une consigne parallèle ou qu’un vendeur renvoie deux fois la même donnée. Même avec des indicateurs globaux stables, cette friction indique que la nouvelle règle n’est pas comprise ou que son erreur ne revient pas au bon endroit.

Conserver une population de comparaison

Comparer des populations réellement proches

La cohorte nouvelle et la cohorte de comparaison doivent partager période, typologie et conditions d’exposition. Comparer de gros vendeurs actifs à de nouveaux petits comptes attribuerait au changement une différence de profil. La stratification rend les résultats interprétables.

Les événements enregistrent variante, unité d’affectation et version. Une commande n’est comptée qu’une fois dans l’indicateur principal. Les abandons, exclusions et erreurs restent visibles au lieu d’être retirés après coup pour embellir le résultat.

Décider la fin de l’expérience avant son début

La durée minimale couvre les cycles pertinents ; la limite maximale empêche une expérience de devenir permanente. L’équipe décrit réussite, absence d’effet, dégradation et résultat incertain. Chaque issue conduit à étendre, corriger, arrêter ou recueillir une preuve supplémentaire.

Une hausse de conversion n’autorise pas automatiquement l’ouverture si les litiges progressent fortement. En revanche, un petit recul temporaire peut être accepté si la qualité vendeur s’améliore et si le modèle économique le justifie. Les priorités sont écrites avant la lecture des chiffres.

Rendre chaque évaluation traçable

Conserver le résultat sans enregistrer tout le profil

Une trace utile contient clé, version de configuration, variante, motif, identifiant de corrélation et heure. Elle n’a pas besoin de recopier toutes les données personnelles du contexte. Les attributs sensibles peuvent être remplacés par une catégorie ou une empreinte adaptée aux besoins de diagnostic.

Le back-office retrouve la variante appliquée à une commande ou une offre. Une équipe habilitée peut expliquer le choix sans exposer le détail du moteur aux vendeurs. La traçabilité sert la résolution et l’audit, pas une collecte indéfinie.

Distinguer absence de configuration et résultat négatif

Faux signifie que l’évaluation a choisi l’ancien comportement. Indisponible signifie que la décision n’a pas pu être obtenue. Les deux situations ne partagent pas toujours le même effet. Pour une fonction facultative, l’ancien chemin peut convenir ; pour un contrôle de sécurité, l’action doit parfois s’arrêter.

Les responsabilités, dépendances, seuils, mécanismes de repli et journalisation sont fixés par type de règle. Si le service devient indisponible, l’application sait quoi faire sans attendre une décision improvisée. Le retour nominal est observé avant de reprendre l’extension.

Préparer l’arrêt sans produire un nouvel incident

Arrêter les nouvelles intentions avant les dossiers en cours

Une fermeture immédiate peut être sûre pour un écran, mais dangereuse pour une commande. Le premier geste empêche de nouvelles affectations. Les objets déjà engagés conservent leur variante jusqu’à une issue connue ou suivent une migration explicitement conçue.

Par exemple, une nouvelle formule de commission ne peut pas revenir à l’ancienne au milieu d’une transaction. La commande garde la version initiale, tandis que les suivantes utilisent la règle précédente. La finance rapproche ainsi chaque montant avec une politique unique.

Tester le bouton d’arrêt avant l’ouverture

La recette ne s’arrête pas à l’activation. Elle simule une fermeture, vérifie délai de propagation, comportement des caches et état des tâches asynchrones. Elle contrôle aussi les droits : une personne identifiée peut agir, mais la décision conserve motif et heure.

Si la configuration met 20 minutes à atteindre tous les services alors que la dégradation devient coûteuse en 5 minutes, le mécanisme ne protège pas la règle. L’équipe réduit ce délai ou ajoute une défense locale avant d’élargir la cohorte.

Retirer le feature flag et sa dette

Choisir la variante finale puis simplifier le code

Après validation, la configuration est figée sur la variante retenue pendant une courte période d’observation. Le code ancien, les branches, métriques temporaires et tests devenus inutiles sont ensuite supprimés ensemble. Garder les deux chemins « au cas où » entretient un coût de maintenance permanent.

Le changement conserve la décision et les résultats, pas l’interrupteur. Une recherche automatique repère les références restantes. Le nettoyage ferme aussi les tableaux de bord, permissions et alertes dédiés afin que l’exploitation ne surveille pas une capacité disparue.

Gérer les configurations oubliées

Un inventaire hebdomadaire classe chaque clé par type, âge, dernière évaluation, responsable et échéance. Une clé jamais utilisée est étudiée comme un défaut de parcours ou un déchet. Une clé ouverte à 100 % depuis un mois devient une priorité de retrait.

La dette se mesure en chemins actifs et en décisions sans échéance, pas seulement en nombre brut. Un dispositif durable de permission peut être sain ; dix expériences terminées mais encore présentes sont risquées. Le tableau distingue donc l’usage légitime de l’abandon.

Savoir dans quels cas déployer par paliers

Le privilégier pour une règle réversible et observable

Le déploiement progressif convient quand l’unité de ciblage est stable, que l’effet peut être mesuré et que l’ancien comportement reste utilisable. Recherche, recommandation, saisie catalogue ou routage opérationnel se prêtent souvent à cette méthode si leurs états sont correctement isolés.

Il devient particulièrement utile lorsque le trafic masque des profils différents. Une cohorte vendeur permet de vérifier un parcours complet et de recueillir un retour qualitatif avant l’ouverture. La petite taille facilite l’apprentissage uniquement si les participants sont identifiés et représentatifs.

Refuser l’expérience quand le risque n’est pas réversible

Une règle légale, une migration destructrice ou un changement dont l’ancien chemin ne peut plus traiter les données demande une autre stratégie. Un faible pourcentage ne rend pas acceptable une décision interdite. La conformité et l’intégrité passent avant l’apprentissage.

Dans ces cas, l’équipe peut valider hors trafic, utiliser des données copiées, comparer les décisions sans les appliquer ou migrer une population fermée avec possibilité de restauration. Le bon outil dépend du type d’incertitude, pas d’une préférence générale pour les interrupteurs.

Décider une extension avec des critères fermés

Croiser valeur, qualité et exploitabilité

La décision examine l’indicateur principal, les garde-fous, les tickets, les écarts financiers et les cas non couverts. Une amélioration locale n’efface pas une rupture ailleurs. Le compte rendu relie chaque donnée à étendre, maintenir, corriger ou fermer.

Si la valeur progresse mais que la reprise reste impossible sans développeur, alors la cohorte demeure limitée. Plutôt que généraliser puis espérer stabiliser, l’équipe automatise la preuve et simplifie la procédure pendant que l’exposition reste maîtrisée.

Autoriser un seul prochain palier

Une décision passe de cinq vendeurs à vingt, ou de 10 % à 25 %, avec une nouvelle fenêtre d’observation. Elle ne transforme pas un succès court en ouverture totale. Chaque palier augmente la diversité et peut révéler une dépendance absente du pilote.

  • À étendre : valeur confirmée, garde-fous stables et traitement des écarts autonome.
  • À maintenir : résultat prometteur mais cycle incomplet ou échantillon encore fragile.
  • À corriger : cause comprise, changement limité et nouvelle preuve réalisable.
  • À fermer : intégrité menacée, bénéfice absent ou coût opérationnel supérieur à la valeur.

Une personne nommée consigne le choix, mais les critères appartiennent collectivement au produit, aux opérations et à la technique. Cette séparation évite qu’un seul rôle accepte une dette dont les autres équipes supporteront les conséquences.

Éviter les erreurs fréquentes de ciblage

Cibler une liste manuelle impossible à maintenir

Une suite d’identifiants copiée dans une interface peut servir à un pilote de quelques jours. Elle devient dangereuse lorsqu’elle remplace une règle d’éligibilité. Les départs, changements de contrat et erreurs de saisie ne se propagent pas, puis personne ne sait pourquoi un vendeur reste inclus.

Une cohorte durable repose sur une propriété gouvernée, une date d’effet et un historique. Les exceptions restent rares, motivées et expirables. Elles ne doivent pas former une seconde politique cachée sous la politique officielle.

Oublier le retrait après une ouverture réussie

Le succès est souvent le moment où la dette devient invisible. L’équipe passe au sujet suivant, le chemin ancien survit et les nouveaux arrivants doivent comprendre deux comportements. Quelques mois plus tard, une modification touche seulement l’un d’eux et crée une régression rare.

L’échéance de nettoyage fait partie de la définition de fini. Les tests portent sur le comportement retenu, la documentation décrit la règle durable et les traces temporaires disparaissent. Le système retrouve une seule vérité lisible.

Plan d’action : ouvrir une règle en cinq étapes

Préparer intention, cohorte et preuves

La première étape formule ancien et nouveau comportement sur des cas réels. Elle choisit l’objet qui reçoit la décision et vérifie que les dossiers en cours pourront garder leur version. Produit, opérations et technique valident ensemble ce qui doit rester invariant.

La deuxième étape choisit le type d’interrupteur, la clé, le contexte minimal et les exclusions. Elle définit l’affectation stable, la priorité entre règles et le résultat en cas d’indisponibilité. Les droits de modification et l’échéance de retrait sont enregistrés avant toute ouverture.

La troisième étape instrumente indicateur principal, garde-fous, traces et population de comparaison. Elle recense les tickets et contrôles aval à surveiller. La recette active puis ferme la règle, provoque une réponse tardive et vérifie que les dossiers commencés gardent une issue cohérente.

Ouvrir, décider puis supprimer

La quatrième étape commence par une cohorte nommée et une durée fixe. L’équipe suit les résultats, lit des dossiers réels et contacte les utilisateurs lorsque les chiffres ne racontent pas toute l’histoire. Un seuil franchi déclenche l’action prévue sans attendre une réunion générale.

La cinquième étape décide un seul palier. Après l’ouverture finale, une courte observation confirme la stabilité ; le chemin écarté et l’interrupteur sont supprimés. Les mesures utiles rejoignent le suivi produit, tandis que les tableaux temporaires sont fermés.

Le bilan conserve hypothèse, populations, versions, résultats, incidents et décision. Il rend la prochaine expérimentation plus précise sans transformer le système en musée de configurations. Chaque nouvelle clé doit pouvoir expliquer sa naissance et annoncer sa disparition.

  1. Décrire la différence métier et l’objet sur lequel elle reste stable.
  2. Définir la cohorte, les exclusions, les seuils et le comportement de repli.
  3. Tester activation, fermeture, réponse tardive et continuité des dossiers engagés.
  4. Étendre par un seul palier après lecture des mesures et des cas réels.
  5. Supprimer enfin le chemin non retenu, la configuration et les traces temporaires.

Relier MVP, observabilité et contrats

Limiter le premier périmètre sans fermer l’avenir

Le MVP marketplace à livrer avant l’ouverture aide à distinguer capacité indispensable et variante différable. Un feature flag sert ensuite à maîtriser une évolution réelle, pas à compenser un périmètre initial jamais décidé.

Le back-office opérateur montre où rendre cohorte, version et décision consultables. Les équipes doivent pouvoir répondre depuis une commande ou une offre sans demander une lecture du code.

Vérifier les conditions avant chaque palier

Une ouverture progressive reste saine lorsque la règle, la population, les preuves et la fin sont toutes explicites. L’absence d’un seul élément transforme un outil de maîtrise en nouvelle source d’incertitude.

  • Règle : comportement ancien, nouveau et invariants protégés.
  • Cohorte : unité stable, exclusions et représentativité connue.
  • Preuves : valeur, qualité, coût opérationnel et seuils de décision.
  • Fin : arrêt testé, dossiers en cours protégés et date de suppression.

Conclusion : un interrupteur doit disparaître

Faire du palier une décision, pas un pourcentage

Une exposition limitée n’est utile que si elle porte une population stable, une mesure lisible et une action prévue. Le pourcentage réduit le volume touché ; la conception des états, des traces et de l’arrêt réduit réellement le risque.

La règle métier reste indépendante du mécanisme temporaire. Elle possède son contrat et ses tests. Le feature flag organise son passage d’une version à l’autre, puis cède la place à un comportement unique.

Refermer l’expérience par une simplification

Le succès se voit autant dans les résultats que dans la suppression du chemin abandonné. Un inventaire court, des échéances respectées et des décisions traçables empêchent les configurations anciennes de fragiliser les évolutions suivantes.

Dawap peut vous accompagner pour structurer cohortes, règles et critères d’ouverture dans votre projet de création de marketplace opérateur.

Portrait de Jérémy Chomel

Vous créez ou faites évoluer une marketplace opérateur ?

Dawap transforme le sujet traité ici en décisions produit, architecture, intégrations et conditions d’exploitation adaptées à votre plateforme.

Vous préférez échanger ? Planifier un rendez-vous

Articles recommandés

Choisir la première offre à lancer pour ouvrir une marketplace Création marketplace opérateur Ouvrir une marketplace : choisir la première offre Lire l'article
  • 13 juin 2026
  • Lecture ~17 min

Choisir la première offre d'une marketplace ne revient pas à ouvrir le catalogue le plus large. Cadrez la première catégorie, les vendeurs pilotes, la preuve acheteur, le catalogue publiable, le business model, le paiement, le SI, le back-office et la roadmap pour lancer moins large mais plus fort durablement.

MVP marketplace périmètre vendeurs catalogue paiement back-office Création marketplace opérateur MVP marketplace : livrer avant d'ouvrir Lire l'article
  • 28 juin 2026
  • Lecture ~16 min

Cadrez un MVP marketplace qui apprend vraiment avant d'ouvrir trop large : promesse, périmètre, vendeurs pilotes, catalogue publiable, paiement, back-office, support, risques exclus et phase 2. Le but : tester la confiance, les décisions et le run, pas livrer une version pauvre de la plateforme cible.

Catalogue PIM marketplace opérateur taxonomie attributs modération Création marketplace opérateur Catalogue PIM marketplace : taxonomie et modération Lire l'article
  • 25 juin 2026
  • Lecture ~16 min

Structurez un catalogue PIM marketplace vraiment opérable : taxonomie, attributs par usage, imports vendeurs, dédoublonnage, variantes, modération, qualité continue et gouvernance. Le sujet n'est pas seulement la donnée, mais la capacité à publier, corriger et arbitrer sans dette durable ni floue ensuite.

Back-office opérateur marketplace écrans indispensables Création marketplace opérateur Back-office opérateur marketplace : les écrans indispensables Lire l'article
  • 22 juin 2026
  • Lecture ~16 min

Priorisez les écrans qui font vraiment gagner du temps dans un back-office marketplace : vendeurs, catalogue, commandes sensibles, litiges, finance, KPI, alertes, droits et preuves. Le but est de décider, tracer et escalader sans transformer le run opérateur en empilement de tableaux inutiles et coûteux.