såsom en nationell festdag öfver hela pyreneiska halfön.