El término Pinocho puede referirse a: