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