-coque    -eiffel