Proceedings of the Thirteenth Rencontre de Moriond, Les Arcs-Savoie (France), March 12-March 24, 1978: Gauge theories and leptons