résolution arithmétique