Lorsqu'on multiplie k entiers consécutifs, on obtient invariablement un multiple de la factorielle de k. Cet article propose trois preuves de difficultés inégales de ce résultat.