Proposition 12
Tag 0991, permanent. Cite it as [Bourbaki, Tag 0991].
Integration, chapter VI, § 1. Integration of vector-valued functions
If F is a separable, metrizable locally convex space, then every scalarly -measurable mapping f of T into F is -measurable.
For, F may be regarded as a subspace of a countable product of Banach spaces (TVS, II, §1, No. 3, Prop. 3), and one can suppose that is dense in , which is therefore separable. For every n, the mapping is scalarly -measurable, hence -measurable (Ch. IV, §5, No. 5, Cor. 2 of Prop. 10), consequently f is -measurable (Ch. IV, §5, No. 3, Th. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.