Exercice : Factorisation et équations de degré supérieur

Approfondissement ★★ Avancé

On rappelle le résultat suivant :

Soit $P(x) = a_n x^n + a_{n-1} x^{n-1} + \dots + a_1 x + a_0$ un polynôme à coefficients entiers ($a_n \neq 0$ et $a_0 \neq 0$). Si un nombre rationnel irréductible $r = \frac{p}{q}$ (avec $p \in \mathbb{Z}^*$, $q \in \mathbb{N}^*$ et $\text{PGCD}(p,q) = 1$) est racine de $P$, alors $p$ divise $a_0$ et $q$ divise $a_n$.

On considère la famille de polynômes $P_k(x) = 3x^3 - 11x^2 + kx - 2$, où $k$ est un nombre entier relatif.

Par une étude arithmétique rigoureuse, déterminer la plus grande valeur entière de $k$ pour laquelle le polynôme $P_k$ admet au moins une racine rationnelle.

Saisir la plus grande valeur entière de $k$.