Soit \(E = \R_3[X]\) et \(a,b,c \in \R\) distincts.
On considère les formes linéaires sur E :
\[f_a\ :\ P \mapsto P(a),\quad
f_b\ :\ P \mapsto P(b),\quad
f_c\ :\ P \mapsto P(c),\quad
\varphi\ :\ P \mapsto \int_{t=a}^b P(t)\,d t.\]
Étudier la liberté de \((f_a,f_b,f_c,\varphi)\).