A pavilion