We place ourselves in the particular case where $E = \mathbb{R}_{2m}[X]$, with $m \geq 2$ a fixed natural integer. This vector space is equipped with the scalar product
$$\forall (P,Q) \in E^2, \quad (P \mid Q) = \int_{-1}^{1} P(t)Q(t)\,dt$$
The polynomial $K(X)$ is defined as in question 23.
Deduce that the roots of $K$ are all real and belong to the interval $]0, 4[$.