A remark on a theorem E. Becker and D. Gondard (Q1771988)

\textit{E. Becker} and \textit{D. Gondard} [in: Real analytic and algebraic geometry, Proc. int. conf. Trento, 21--46 (1995; Zbl 0869.12002)] derived a formula for the connected components of the real locus of a real smooth projective variety. The author proves that this is equivalent to a formula given by himself in [Bull. Soc. Math. Fr. 106, 113--151 (1978; Zbl 0386.14012)], using \textit{A. Pfister}'s theorem on function fields over real closed fields [Invent. Math. 4, 229--237 (1967; Zbl 0222.10022)] and the purity theorem of \textit{M. Rost} [C. R. Acad. Sci., Paris, Sér. I 310, 189--192 (1990; Zbl 0711.14004)].