Bourbaki

Introduction

This fascicle brings together the fundamental notions and the principal results of the theory of differentiable varieties (over the field of real numbers) and of analytic varieties (over a complete non-discrete valued field). It contains no proofs. The definitions and results of the first six books are assumed to be known.

Machine translation of the English, by gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.