Une majoration de la factorielle :