Hippo> argl oui je m'étais planté de sens, le cardinal des fonctions de N -> R c'est bien (2^aleph0)^aleph0 (= 2^aleph0), pas aleph0^(2^(aleph0)) (= 2^2^aleph0) ^^