1
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)\).