pimentón m. Condimento que se obtiene moliendo pimientos rojos secos. Un sofrito de ajo y pimentón.páprika