doble (sustantivo masculino): Redoble de campanas por los fallecidos.