Prog lin (inéquation)