résolubilité d’une inéquation