inéquation cos(x)≥1/2