"(chorus singing "Toreador Song" from "Carmen""