perminv a comme argument une permutation. perminv renvoie la permutation inverse de la permutation donnée en argument. On tape :
On obtient