1: \begin{abstract}

2: We show that any irreducible representation $\rho$ of a finite group $G$

3: of exponent $n$, realisable over $\mathbb{R}$, is realisable over the field 

4: $E:=\mathbb{Q}(\zeta_n)\cap\mathbb{R}$ of real cyclotomic numbers of order $n$, and

5: describe an algorithmic procedure transforming a realisation of $\rho$ over  $\mathbb{Q}(\zeta_n)$

6: to one over $E$.

7: \end{abstract}

8: