Wigilia Paschalna, Wspomnienie Św. Izydora z Sewilli