Systèmes d'équations avec des contraintes