Jérôme Costa, Negar Armaghan, Jean Renaud, Michel Martinezpresented and published In 14e workshop de Raisonnement à Partir de Cas, 30-31 mars, Besançon, pp. 131-142, FRANCE.2006