Slavnost sv. Václava, mučedníka, hlavního patrona českého národa