résolution arithmétique par essais-erreurs