is_permu a comme argument une liste de dimension s. is_permu est une fonction booléenne qui renvoie 1 ou 0 selon que l’argument est ou n’est pas une permutation de 0,1,s−1. On tape :
On obtient :
On tape :