x=cos(t) donc sqrt(1-x^2)=abs(sin(t)) dx=-sin(t)dt et hop, c'est l'intégrale d'un sin^2(t) + ou - à prendre entre des bornes bien définies