Let V be an infinite-dimensional complex Banach space and X ⊂ P(V ) a closed analytic subset with finite codimension. We give a condition on X which implies that X is a complete intersection. We conjecture that the result should be true for more general topological vector spaces.