Proposition 1
Tag 06Z1, permanent. Cite it as [Bourbaki, Tag 06Z1].
Algebra, chapter VI, § 2. Ordered fields
— A totally ordered ring is torsion free as a -module (II, p. 313).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.