p.eppert: structure eiffel