Exemple de résolution d'un système linéaire par substitution