cycleinv a comme argument un cycle. cycleinv renvoie le cycle inverse du cycle donné en argument. On tape :
On obtient