Bardeen-Cooper-Schrieffer{=BCS} theory