Exercice : Approfondissements sur les suites

Approfondissement ★★★ Challenge

On rappelle le résultat suivant :
Si une suite $(u_n)$ vérifie pour tout entier naturel $n$ la relation $u_{n+2} = a u_{n+1} + b u_n$ (où $a$ et $b$ sont des réels fixés) et si l'équation caractéristique $r^2 - ar - b = 0$ admet deux racines réelles distinctes $r_1$ et $r_2$, alors il existe deux réels $\lambda$ et $\mu$ tels que pour tout $n \in \mathbb{N}$ :
$$u_n = \lambda r_1^n + \mu r_2^n$$

Soit $(u_n)$ une suite définie sur $\mathbb{N}$ vérifiant pour tout $n \in \mathbb{N}$ la relation :
$$u_{n+2} = 7u_{n+1} - 10u_n$$

On sait par ailleurs que $u_1 = 30$ et que :
$$\lim_{n \to +\infty} \frac{u_n}{5^n} = 4$$

Déterminer la valeur du premier terme $u_0$.