Résolution des esquisses sur-contraintes