Święto św. Wawrzyńca, diakona i męczennika