Men » Carmen » är ju en gammal opera,