Variables aléatoires sur les ensembles finis/Post-notions