je pense qu'il y a ici une équivalence mais bon
on prend une suite (x_n) de cauchy et soit (x_f(n)) une sous-suite de (x_n) tel que llx_f(n+1)-x_f(n)ll<2^(-n) et on a la serie sum(n£lN) x_f(n+1)-x_f(n) est absolument convergente donc elle est convergente dans (E,ll.ll) d'ou (x_f(n)) converge dans E (car sumx_f(n+1)-x_f(n)=u_f(n)-u_f(0)
donc (E,ll.ll) est complet d'ou E est de banach
pour la réciproque c'est pas évident mais c'est pas aussi tros difficile