Fetching details from the dictionary...
substitute national holiday; day off in lieu of a national holiday that falls on a Sunday; compensatory holiday
compensatory day off work (for having worked on a holiday, etc.)