We give an affective criterion when an analytic set with proper projection is algebraic. We take an ideal of polynomials vanishing on the set then we construct a polydisc convenient for reduction. If this polydisc is ...