diff --git a/règles/entités/salariat/Salariat.CDD.yaml b/règles/entités/salariat/Salariat.CDD.yaml
index f0e1d48bc..122cbcd4a 100644
--- a/règles/entités/salariat/Salariat.CDD.yaml
+++ b/règles/entités/salariat/Salariat.CDD.yaml
@@ -144,8 +144,8 @@
   # ces variables peuvent être attachées à un groupe ruptures pour plus de clarté
 
 
-- Variable: complément formation professionnelle employeur
+- Variable: engagement employeur complément formation
   titre: Complément de formation professionnelle offert par l'employeur
-  question: L'employeur s'engage-t-il à verser un complément de formation professionnelle ?
+  question: L'employeur s'engage-t-il à assurer un complément de formation professionnelle au salarié ?
   attache: Salariat . CDD
-  description: L'employeur peut s'engager à fournir un complément de formation professionnelle. Cela le dispensera de l'obligation de payer la cotisation CIF CDD
+  description: L'employeur s'engage à assurer un complément de formation professionnelle au salarié. Cela le dispense du versement de l'indemnité de fin de contrat.
diff --git a/règles/rémunération-travail/cdd/CIF.yaml b/règles/rémunération-travail/cdd/CIF.yaml
index 801ca10e3..011e1d9c9 100644
--- a/règles/rémunération-travail/cdd/CIF.yaml
+++ b/règles/rémunération-travail/cdd/CIF.yaml
@@ -1,17 +1,17 @@
 - Cotisation: CIF CDD
-  attache: CDD
+  attache: Salariat . CDD
   description: Contribution au financement du congé individuel de formation spécifique aux CDD
   attributs:
     collecteur: OPCA
   référence:  Code du travail - Article L6322-37
   non applicable si:
     l'une de ces conditions:
-      - Salariat . CDD . événements . CDD poursuivi en CDI
-      - Salariat . CDD . motif . saisonnier
-      - Salariat . CDD . motif . jeune vacances
-      - Salariat . contrat aidé
+      - événements . CDD poursuivi en CDI
+      - motif . saisonnier
+      - motif . jeune vacances
+      - contrat aidé
 
   formule:
     linéaire:
-      assiette: Salariat . salaire de base
+      assiette: salaire de base
       taux: 1%
diff --git a/règles/rémunération-travail/cdd/indemnité_fin_contrat.yaml b/règles/rémunération-travail/cdd/indemnité_fin_contrat.yaml
index 7a326b659..515ff20cb 100644
--- a/règles/rémunération-travail/cdd/indemnité_fin_contrat.yaml
+++ b/règles/rémunération-travail/cdd/indemnité_fin_contrat.yaml
@@ -1,5 +1,5 @@
 - Indemnité: fin de contrat
-  attache: CDD
+  attache: Salariat . CDD
   attributs:
     type: indemnité
   alias: Prime de précarité
@@ -9,21 +9,21 @@
   non applicable si:
     l'une de ces conditions:
       # Evènements particuliers
-      - Salariat . CDD . événements . CDD poursuivi en CDI
-      - Salariat . CDD . événements . refus CDI avantageux
+      - événements . CDD poursuivi en CDI
+      - événements . refus CDI avantageux
 
       # Rupture
-      - Salariat . CDD . événements . rupture anticipée salarié
-      - Salariat . CDD . événements . rupture pour faute grave ou force majeure
-      - Salariat . CDD . événements . rupture pendant période essai
+      - événements . rupture anticipée salarié
+      - événements . rupture pour faute grave ou force majeure
+      - événements . rupture pendant période essai
 
-      - Salariat . CDD . complément formation professionnelle employeur
+      - engagement employeur complément formation
 
       # types de contrat
-      - Salariat . contrat aidé
-      - Salariat . CDD . motif . usage
-      - Salariat . CDD . motif . jeune vacances
-      - Salariat . CDD . motif . saisonnier
+      - contrat aidé
+      - motif . usage
+      - motif . jeune vacances
+      - motif . saisonnier
       # https://www.easycdd.com/LEGISLATION-CDD/Fin-ou-rupture-du-contrat-CDD/La-prime-de-precarite/La-prime-de-precarite-n-est-pas-due-si Dans les faits, les CDD Senior perçoivent une indemnité d’un montant équivalent à l’indemnité de précarité.
 
       # - CDD . type = vendanges
@@ -35,7 +35,7 @@
 
   formule:
     linéaire:
-      assiette: Salariat . salaire de base
+      assiette: salaire de base
       taux: 10%
 
 
diff --git a/règles/rémunération-travail/cdd/majoration-chomage.yaml b/règles/rémunération-travail/cdd/majoration-chomage.yaml
index 11b225eec..8171858e9 100644
--- a/règles/rémunération-travail/cdd/majoration-chomage.yaml
+++ b/règles/rémunération-travail/cdd/majoration-chomage.yaml
@@ -1,5 +1,5 @@
 - Cotisation: majoration chômage CDD
-  attache: CDD
+  attache: Salariat . CDD
   attributs:
     dû par: employeur
     type: majoration
@@ -7,18 +7,18 @@
   description: Majoration des contributions patronales d’assurance chômage pour les contrats à durée déterminée courts (CDD)
   non applicable si:
     l'une de ces conditions:
-      - Salariat . CDD . durée contrat > 3
-      - Salariat . CDD . événements . CDD poursuivi en CDI
+      - durée contrat > 3
+      - événements . CDD poursuivi en CDI
   formule:
     linéaire:
-      assiette: Salariat . salaire de base
+      assiette: salaire de base
       taux:
         logique numérique:
-          Salariat . CDD . motif . accroissement temporaire activité:
-            Salariat . CDD . durée contrat <= 1: 3% # TODO 1 mois, pas 1 rien, évidemment
-            Salariat . CDD . durée contrat <= 3: 1.5%
-          Salariat . CDD . motif . usage:
-            Salariat . CDD . durée contrat <= 3: 0.5%
+          motif . accroissement temporaire activité:
+            durée contrat <= 1: 3% # TODO 1 mois, pas 1 rien, évidemment
+            durée contrat <= 3: 1.5%
+          motif . usage:
+            durée contrat <= 3: 0.5%
 
 
 
diff --git a/source/components/Results.js b/source/components/Results.js
index cad0cee66..6432a3d07 100644
--- a/source/components/Results.js
+++ b/source/components/Results.js
@@ -8,7 +8,8 @@ export default class Results extends Component {
 			<section id="results">
 				<h2>Vos obligations</h2>
 				<ul>
-					{analysedSituation.map(({name, type, derived: {missingVariables, computedValue}}) =>
+					{analysedSituation.map(
+						({name, type, derived: {missingVariables, computedValue}}) =>
 						do {
 							let
 								unsatisfied = missingVariables && missingVariables.length,
diff --git a/source/engine/expressions.js b/source/engine/expressions.js
index 9a0a2e249..ccfb892fe 100644
--- a/source/engine/expressions.js
+++ b/source/engine/expressions.js
@@ -1,6 +1,6 @@
 import removeDiacritics from './remove-diacritics'
 import R from 'ramda'
-import {parentName, nameLeaf} from './rules'
+import {parentName, nameLeaf, findRuleByDottedName} from './rules'
 
 // Ces regexp sont trop complexe. TODO Ce n'est que temporaire !
 
@@ -10,6 +10,7 @@ let
 	sep = '\\s\\.\\s',
 	vn = `(${vp}(?:${sep}${vp})*)`
 
+//TODO rewrite expressionTests to contain the awful code of the recognizeExpression swith
 let expressionTests = {
 	// 'negatedVariable': v => /!((?:[a-z0-9]|\s|_)+)/g.exec(v),
 	// 'variableIsIncludedIn': v => /((?:[a-z0-9]|\s|_)+)⊂*/g.exec(v),
@@ -19,7 +20,32 @@ let expressionTests = {
 	'variable': v => new RegExp(`^${vn}$`, 'g').exec(v)
 }
 
-export let recognizeExpression = value => {
+/* Les variables peuvent être exprimées dans une règle relatives au contexte d'une règle,
+son 'attache', pour une plus grande lisibilité. Cette fonction résoud cette ambiguité.
+*/
+let completeVariableName = ({attache, name}, partialName) => do {
+	let
+		fragments = attache.split(' . '),
+		pathPossibilities = R.pipe(
+      R.length,
+      R.inc,
+			R.range(1),
+			R.map(R.take(R.__, fragments)),
+			R.reverse
+		)(fragments),
+
+		found = R.reduce((res, path) =>
+			R.when(
+				R.is(Object), R.reduced
+			)(findRuleByDottedName([...path, partialName].join(' . ')))
+		, null, pathPossibilities)
+
+	found && found.dottedName || do {throw `OUUUUPS la référence ${partialName} dans la règle : ${name} est introuvable dans la base`}
+}
+
+
+
+export let recognizeExpression = (rule, value) => {
 	let match
 
 	// match = expressionTests['negatedVariable'](value)
@@ -32,19 +58,23 @@ export let recognizeExpression = value => {
 	match = expressionTests['variableComparedToNumber'](value)
 	if (match) {
 
-		let [, variableName, symbol, number] = match
+		let [, variablePartialName, symbol, number] = match,
+			variableName = completeVariableName(rule, variablePartialName)
 		return [variableName, situation => eval(`situation("${variableName}") ${symbol} ${number}`)] // eslint-disable-line no-unused-vars
 	}
 
 	match = expressionTests['variableEqualsString'](value)
 	if (match) {
-		let [, variableName, string] = match
+		let [, variablePartialName, string] = match,
+			variableName = completeVariableName(rule, variablePartialName)
 		return [variableName, situation => situation(variableName) == string]
 	}
 
 	match = expressionTests['variable'](value)
 	if (match) {
-		let [variableName] = match
+		let [variablePartialName] = match,
+			variableName = completeVariableName(rule, variablePartialName)
+
 		return [
 			variableName,
 			situation => {
diff --git a/source/engine/rules.js b/source/engine/rules.js
index 770dc9b27..429b68e35 100644
--- a/source/engine/rules.js
+++ b/source/engine/rules.js
@@ -8,6 +8,7 @@ import possibleVariableTypes from './possibleVariableTypes.yaml'
 /***********************************
  Méthodes agissant sur une règle */
 
+// Enrichissement de la règle avec des informations évidentes pour un lecteur humain
 export let enrichRule = rule => {
 	let
 		type = possibleVariableTypes.find(t => rule[t]),
@@ -22,12 +23,14 @@ export let enrichRule = rule => {
 
 export let hasKnownRuleType = rule => rule && enrichRule(rule).type
 
-let splitName = R.split(' . ')
+let
+	splitName = R.split(' . '),
+	joinName = R.join(' . ')
 
 export let parentName = R.pipe(
 	splitName,
 	R.dropLast(1),
-	R.join(' . ')
+	joinName
 )
 export let nameLeaf = R.pipe(
 	splitName,
@@ -35,7 +38,7 @@ export let nameLeaf = R.pipe(
 )
 
 // On enrichit la base de règles avec des propriétés dérivées de celles du YAML
-let [rules, entityRules] =
+export let [rules, entityRules] =
 	[rawRules, rawEntityRules].map(rules => rules.map(enrichRule))
 
 
@@ -58,10 +61,8 @@ export let searchRules = searchInput =>
 
 
 
-export let findRuleByDottedName = dottedName => do {
-	let found = entityRules.find(rule => rule.dottedName == dottedName)
-	found
-}
+export let findRuleByDottedName = dottedName =>
+	entityRules.find(rule => rule.dottedName == dottedName)
 
 export let findGroup = R.pipe(
 	findRuleByDottedName,
diff --git a/source/engine/traverse.js b/source/engine/traverse.js
index e015d4eb8..b98340cef 100644
--- a/source/engine/traverse.js
+++ b/source/engine/traverse.js
@@ -1,36 +1,36 @@
 import R from 'ramda'
-import rules from './load-rules'
-import {findRuleByName, enrichRule, parentName} from './rules'
+import {rules, findRuleByName, parentName} from './rules'
 import {recognizeExpression} from './expressions'
 
 
 // L'objectif de la simulation : quelles règles voulons nous calculer ?
 let selectedRules = rules.filter(rule =>
-			R.contains(
-				enrichRule(rule).name,
+			R.contains(rule.name,
 				[
-					'CIF CDD', 'fin de contrat',
+					'CIF CDD',
+					'fin de contrat',
 					'majoration chômage CDD'
 				]
 			)
 		)
 
-let knownVariable = (situation, variableName) => typeof R.or(
+let knownVariable = (situation, variableName) => R.or(
 	situation(variableName),
-	situation(parentName(variableName))
-) !== 'undefined'
+	situation(parentName(variableName)) // pour 'usage', 'motif' ( le parent de 'usage') = 'usage'
+) != null
 
 let transformPercentage = s =>
 	s.indexOf('%') > -1 ?
 		+s.replace('%', '') / 100 :
 		+s
 
-let deriveRule = situationGate => R.pipe(
+
+
+let deriveRule = (situationGate, rule) => R.pipe(
 	R.toPairs,
-	// Reduce to [variables needed to compute that variable, computed variable value]
 	R.reduce(({missingVariables, computedValue}, [key, value]) => {
 		if (key === 'concerne') {
-			let [variableName, evaluation] = recognizeExpression(value)
+			let [variableName, evaluation] = recognizeExpression(rule, value)
 			// Si cette variable a été renseignée
 			if (knownVariable(situationGate, variableName)) {
 				// Si l'expression n'est pas vraie...
@@ -48,7 +48,7 @@ let deriveRule = situationGate => R.pipe(
 		if (key === 'non applicable si') {
 			let conditions = value['l\'une de ces conditions']
 			let [subVariableNames, reduced] = R.reduce(([variableNames], expression) => {
-				let [variableName, evaluation] = recognizeExpression(expression)
+				let [variableName, evaluation] = recognizeExpression(rule, expression)
 				if (knownVariable(situationGate, variableName)) {
 					if (evaluation(situationGate)) {
 						return R.reduced([[], true])
@@ -68,7 +68,7 @@ let deriveRule = situationGate => R.pipe(
 				let {assiette, taux} = value['linéaire']
 
 				// A propos de l'assiette
-				let assietteVariableName = assiette,
+				let [assietteVariableName] = recognizeExpression(rule, assiette),
 					assietteValue = situationGate(assietteVariableName),
 					unknownAssiette = assietteValue == undefined
 
@@ -85,7 +85,7 @@ let deriveRule = situationGate => R.pipe(
 								return R.pipe(
 									R.toPairs(),
 									R.reduce(({missingVariables}, [expression, subLogic]) => {
-										let [variableName, evaluation] = recognizeExpression(expression)
+										let [variableName, evaluation] = recognizeExpression(rule, expression)
 										if (knownVariable(situationGate, variableName)) {
 											if (evaluation(situationGate)) {
 												return R.reduced(treatNumericalLogic(subLogic))
@@ -114,25 +114,24 @@ let deriveRule = situationGate => R.pipe(
 		}
 
 		return {missingVariables}
-	}, {missingVariables: []})
+	}, {missingVariables: []}
 	)
+)
 
-let analyseRule = situationGate =>
-	R.pipe(
-		enrichRule, // -> {type, name, rule}
-		data => R.assoc(
-			'derived',
-			deriveRule(situationGate)(data)
-		)(data)
-	)
 
+/* Analyse the set of selected rules, and add derived information to them :
+- do they need variables that are not present in the user situation ?
+- if not, do they have a computed value or are they non applicable ?
+*/
 export let analyseSituation = situationGate =>
-	selectedRules.map(analyseRule(situationGate))
+	selectedRules.map(rule =>
+		// how to express that better in Ramda ?
+		R.assoc(
+			'derived',
+			deriveRule(situationGate, rule)(rule)
+		)(rule)
+	)
 
-// export let analyseSituation = R.pipe(
-// 	analyseRule,
-// 	R.flip(R.map)
-// )
 
 export let variableType = name => {
 	if (name == null) return null
diff --git a/source/reducers.js b/source/reducers.js
index 730333914..dfaf3c77e 100644
--- a/source/reducers.js
+++ b/source/reducers.js
@@ -77,6 +77,8 @@ export default reduceReducers(
 					situationGate(state)
 				),
 
+				y = console.log('analysedSituation', analysedSituation),
+
 				missingVariables = R.pipe(
 					R.map( ({name, derived: {missingVariables}}) =>
 						(missingVariables || []).map(mv => [mv, name])