Pandas Renommer l'index avec le dictionnaire

df.rename(index={'alpha': 'mu'})
Jealous Jay