1.3.18. Problèmes de comparaison additive avec inconnue dans une des mesures (discordant) avec des entiers avec retenue