Le produit de 9999 facteurs tous égaux à -1