Correction bug sur les opérations à plusieurs paramètres + début de AbstractionGenerator.kmt