l ’ opera : Les Jlartyrs , 16 fl.