résolution d'un système d'équations par substitution