Variable aléatoire discrète/Post-notions