Mort de Valéry Giscard d'Estaing : un jour de deuil national décrété le 9 décembre