Pandas Renommer l'index avec le dictionnaire
df.rename(index={'alpha': 'mu'})
Jealous Jay
df.rename(index={'alpha': 'mu'})