[Abstract 004] eiffel france structure symbol