Do not use the eiffel_to_lisaac translator yet !

Work in progress !
