added Benoit and Eiffel code