Fonction de répartition d'une variable aléatoire