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