Vad heter elefanten som kommer till stan och kläs i fin grön kostym och gröna damasker i Jean de Brunhoffs böcker?