a habitue of the opera