Exercice 3, § 8

Dans $\mathbf{Q}_p \times \mathbf{Q}_p$, tout sous-ensemble fermé peut être défini par une famille d’équations analytiques. En déduire que le cor. 2 (ii) du th. 2 devient inexact si on omet l’hypothèse que $I$ est fini.