Montrez que l'équation cos x = x a une solution dans (0, pi/2)