Solennité de l'Assomption de la Vierge Marie, patronne principale de la France