exo7 3631

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)$.