Some notes on the core of a production economy with some large traders and a continuum of small traders