Approximation de PI par la formule de Leibniz ...