[eiffel.taureaux]