Bonjour Abdelbaki ;
Une idée :
Notons E l'ensemble { (somme sur i de I) a_i / I c IN }
et F={ (Somme sur j de J) a_j / J partie finie de IN }.
Alors E est borné (| (Somme sur J c IN) a_j | =< (Somme sur IN) |a_j| < +oo )
et E n'est autre que la fermeture de F.
(sauf erreur)