integrate cos^2 x dx utilisant l'identité cos^2 x = (1 + cos 2x)/2