Inférence sur les solutions des systèmes d'équations