Characterization of restricted weights of representations of real semisimple Lie groups I need to use the following theorem:
Let $\mathfrak{g}$ be a semisimple real Lie algebra, $\Sigma$ a set of restricted roots for $\mathfrak{g}$. Let $\rho$ be any finite-dimensional representation of $\mathfrak{g}$. Then any restricted weight $\lambda$ of $\rho$ satisfies
$$
\forall \alpha \in \Sigma,\quad 2\frac{\langle \lambda, \alpha \rangle}{\langle \alpha, \alpha \rangle} \in \mathbb{Z}.
$$
The case of non-restricted weight and roots is of course well-known and easily found in the literature. For the general result, the closest things I found are Propositions II.4.21 to II.4.23 in S. Helgason, Geometric Analysis on Symmetric Spaces; and the last page of the proof of Theorem 8.49 in A.W. Knapp, Lie Groups Beyond an Introduction. But neither of these two passages gives quite exactly the result I am looking for.
I am not asking for a proof: I already have one (it is not very hard). But it looks like such a basic thing that it should already be written somewhere. If anyone knows any reference it would be very much appreciated!
 A: As nfdc23 indicates in comments, the basic source is $\S5$ of the 1965 IHES paper on reductive groups by Borel and Tits here, in particular 5.7-5.8.     Note however the essential list of corrections in $\S5$ of their 1972 IHES paper here, following various complements to the earlier paper.   Here they clarify the formulation of 5.7 needed for their conclusion in 5.8 that the restricted roots (relative to a maximal $k$-split torus) form a "root system" in the Bourbaki sense.  (If I recall correctly, what Borel does in the expanded second edition GTM 126 of his older Benjamin lecture notes takes this correction into account.)
This is all placed in the broader context of reductive groups (emphasizing those with a nontrivial semisimple derived group) defined but non-isotropic over an arbitrary field $k$.  As a special case one gets the semisimple (or reductive) real Lie groups which occur as groups of rational points of linear algebraic groups but are non-compact.  The history is of course hard to disentangle, since the parallel study of the structure of Lie groups was going on throughout that period.   But the Bourbaki notion of "root system" (possibly non-reduced, allowing roots and their doubles to occur) was critical for the way Borel and Tits formulated their ideas.    [Note that their paper refers to an earlier version of what ultimately became Chapter VI in the 1968 volume of Bourbaki's treatise on Lie groups and Lie algebras containing Chapters IV-VI.  Suitable updates to their 1965 references are given in the 1972 paper.]
