In this paper we introduce and study double tails of multiple zeta values. We show, in particular, that they satisfy certain recurrence relations and deduce from this a generalization of Euler's classical formulam −1 to all multiple zeta values, as well as a new and very efficient algorithm for computing these values.

International audienceWe produce an explicit formula for averages of the type Sigma(d <= D) (g star 1)(d) / d, where star is the Dirichlet convolution and g a function that vanishes at infinity (more precise conditions are needed, a typical example of an acceptable function is g(m) - mu(m) / m). This formula enables one to exploit the changes of sign of g(m). We use this formula for the classical family of sieve-related functions G(q)(D) = Sigma(d <= D, (d,q) = 1) mu(2) (d) / (sic))(d) for an integer parameter q, improving noticeably on earlier results. The remainder of the paper deals with the special case q = 1 to show how to practically exploit the changes of sign of the Mobius function. It is proven in particular that broken vertical bar G(1) (D) - log D - c(0) broken vertical bar <= 4 / root D and broken vertical bar G(1) (D) - log D - c(0) broken vertical bar <= 18.4 / root D log D) when D > 1, for a suitable constant c(0

No abstract