Bonne nouvelle : la corrida a été radiée du patrimoine culturel immatériel français