../../Task/Factorial/Eiffel