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