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