Cette démonstration est basée sur celle donnée par R. Coleman, mais en évite un passage compliqué grâce a une formule de récurrence démontrée simplement par fonctions génératrices. De plus, elle met en évidence des propriétés de prolongement de factorielles liées a la fonction gamma $p$-adique de Morita.