Exercice : Congruences dans ℤ et résolution d'équations modulaires

★ Standard

On souhaite résoudre dans $\mathbb{Z}$ l'équation de congruence $7x \equiv 12 \pmod{17}$.

  1. Déterminer l'inverse de $7$ modulo $17$ appartenant à l'ensemble $\{0, 1, \dots, 16\}$.
  2. En déduire l'unique entier $x$ tel que $0 \le x \le 16$ vérifiant $7x \equiv 12 \pmod{17}$.

Saisir la valeur de $x$.