Oui ou dit autrement (pour que Nil comprenne bien), aller de 1 à 0 n'est effectivement pas possible, donc ça veut dire que tu ne multiplies rien du tout, donc le résultat est 1 (de même que quand tu n'additionnes rien du tout, le résultat est 0).

edit (cross) : ben avec cette définition-là de la factorielle, tu peux effectivement tout à fait décider de l'étendre à Z et de dire par exemple que (–23)! = 1, parce qu'effectivement ta formule est bien définie même pour n négatif. Mais pour d'autres définitions ça n'a pas tellement de sens (cf. le nombre de permutations). Donc l'usage c'est de la définir sur les entiers naturels, surtout que sur les entiers relatifs elle n'a aucun intérêt...
il y a une grosse différence conceptuelle entre descendre jusqu'à 0 et descendre plus bas que 0 hein