Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles