Tom Pouce dans Le Petit Poucet, vaudeville-féérie