integrate sin^2 x dx utilisant l'identité d'angle double