Mark Duckworth wrote:
I think this may be a different and additional problem from the one I'm seeing.
Yes, I understood your problem comes from Eiffel. I should not have polluted your thread. -- Vincent Rivière