question bête: Mais solve ou nsolve ne marchent pas ?