A lepton of very great mass.