1.3.07. Problèmes de comparaison additive avec inconnue dans la différence (discordant) avec des entiers sans retenue