// Make a CG out of the concept.
// This is because env.unification.unifier does not do the
// special variable-substitution magic on uConcept.
CG gTmp = new CG();
gTmp.addConcept(concCour);
// Inverser les arg de unifier comme pour la primitive "eq"
resultat = env.unification
.unify(new PrologData(uCG, gTmp), Arg2.index,
pTermRes.pTerm.getAt(1), pTermRes.index);