desmoralización de la clase obrera en este último caso habría sido una desgracia mucho mayor que el perecimiento de cualquier número de «líderes».