¿Es la historia original de Pinocho igual que el clásico de Disney?