We study first order optimality systems for the control of a systemgoverned by avariationalinequality and deal with Lagrange multipliers: isit possible to associate to each pointwise constraint a multiplier to get a “good” optimality system? We givepositive and negative answers for the finite and infinite dimensional cases.These results are compared withthe previous ones got by penalization or differentiation.