On peut demontrer que [0,1[ n'est pas denombrable avec les developpement en
base 10 avec le procede diagonal. Dans d'autres bases, ca marche encore
bien, sauf en base 2 : comment fait-on pour eviter les developpements
impropres en prenant toujours le contraire du bit rencontre ?
C'est juste un detail technique, je peux me contenter de la base 3 ;-)
Mais si vous avez des lumieres, elles m'interessent.