Fête de l'Assomption : pourquoi le 15 août est-il férié en France et que célèbre-t-on ce mardi ?