u = new Variable 5 N = 4 N.foisFaire -> diviser u, par, 2 incrémenter u montrer u