Exercice : Approfondissements sur le second degré

Approfondissement ★★★ Challenge

On considère la fonction polynôme $P$ définie sur $\mathbb{R}$ par :

$$P(x) = 2x^3 + k x^2 - 25x + 12$$

où $k$ est un nombre réel fixé.

On sait que $3$ est une racine du polynôme $P$.

Quelle est la plus petite solution de l'équation $P(x) = 0$ ?