Inéquation du 1er degré à une inconnue dans IR