Correction d'une erreur dans Lambda, getReducedGraph = getAbstractedGraph