1.2.28. Problèmes de transformation négative avec inconnue dans l’état final (concordant) avec des entiers avec retenue