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