Salut,
on a que 100suites, à la base.
Pour un nombre fini de suite, il n'est de toute façon pas problématique d'associer à une suite sa classe d'équivalence, pas besoin d'une fonction. (de même qu'on ne se sert pas réellement de l'axiome du choix si on ne considère l'image par f que d'un nombre fini de classe d'équivalence).
En revanche, pour établir l'existence de l'ensemble que j'ai noté E plus haut, il est nécessaire d'utiliser l'axiome du choix.
-----