HINOJAL: Plaza de toros de hinojal