résoudre par substitution