Mikä on Tuhkimokeijukummin oikea koko etunimi?

Cinderellan keijukummin todellista koko etunimeä ei mainita Charles Perraultin kirjoittamassa alkuperäisessä sadussa.