Elle est puissante la fonction qui à un cardinal X associe 2^X (ou le cardinal de l'ensemble des parties de X)