Le 14 juillet restera un jour férié. Le 15 août également, tout comme le jour de Noël, ainsi que le 1er janvier. (Applaudissements sur les bancs du groupe de l'Union pour un mouvement populaire.) Bien évidemment, la liste que je vous livre n'a aucun caractère exhaustif, si tant est qu'il y ait des esprits malins dans cette assemblée, ce ne que je ne peux imaginer une seconde. (Sourires.)