Pour tout entier positif n, nombre qui est le produit de tous les entiers positifs inférieurs ou égaux à n.
