Résoudre un système d'équations par substitution