résolution arithmétique à rebours