Le 15 août : pourquoi ce jour est-il férié ?