Pour résoudre l'équation x-5 = 7, on ....