Intégrales de Wallis

Pour tout entier $n\geq0$, on pose $W_n=\displaystyle\int_0^{\pi/2}\sin^n x\,dx$.