Pinocchio — fictional character of the 1940 Walt Disney movie