Mes chers collègues, je constate que le Sénat a épuisé son ordre du jour pour la session extraordinaire. M. le président du Sénat prendra acte de la clôture de cette session lorsque nous aurons reçu le décret de M. le Président de la République portant clôture de la session extraordinaire du Parlement. Cette information sera publiée au Journal officiel et sur le site internet de notre assemblée. Sauf élément nouveau, le Sénat se réunira le jeudi 1er octobre prochain à quinze heures, pour l’élection du président du Sénat. Comme notre collègue Daniel Salmon l’a indiqué, alors que nous venons de voter le dernier texte de cette longue année législative, la séance que je m’apprête à lever était non seulement la dernière que je présidais, mais aussi ma dernière séance en tant que sénateur. Je vous en remercie, mes chers collègues, et je vous souhaite un bel été, ainsi qu’une bonne reprise des travaux en octobre ! (Applaudissements.) Personne ne demande la parole ?…