The language Eiffel