Gulliver, ballet-pantomime en deux tableaux — Jean Coralli