Exercice : PGCD, Algorithme d'Euclide et Théorème de Bézout

★★ Avancé

On considère les deux entiers $a = 348$ et $b = 129$.

En effectuant l'algorithme d'Euclide puis en remontant successivement les égalités obtenues, on détermine un couple d'entiers relatifs $(x, y)$ satisfaisant l'égalité :

$$a x + b y = \text{PGCD}(a, b)$$

Un paramètre entier $k$ est défini par la relation $k = 2x + y$.

Saisir la valeur de $k$.