What is the etymology of an auditorium? Let's just look up.