// Les arguments sont a present prets, en tenant compte des
// differentes posibilites
// Appel de l'operation de matching matchCG
CGMatchResult resMatchCG = new CGMatchResult(G3, null);
CGOperation uneOperGC = new CGOperation(env);
resultat = uneOperGC.matchCG(CGOperation.convertToByte(IdPred, G3),
C1, G1, nivG1, C2, G2, nivG2, resMatchCG);
uneOperGC.corefMatchVec_MakeEmpty();
uneOperGC = null;
env.unification.Unif_Stack.pushEmptyRecord();
if (resultat && (DonRes != null)) {
PrologData donTmp = new PrologData(uCG, resMatchCG.G3);