démonstration probabiliste de la formule de stirling