Creation of the Eiffel file