... inverse^1.1

que l'on calcul par l'algorithme de Bezout (algorithme d'Euclide étendu)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... calcul^1.2

simplement en posant la division par $X^4+1$

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... colonne^4.1

C1, C2 et C3 traduisent les décalages de 1, 2 ou 3 colonnes exercés sur les lignes du bloc par ShiftRows(s)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.