Plus généralement, je tiens à vous remercier, toutes et tous, mes chers collègues, pour l'importance et la qualité du travail accompli. Je ne saurais oublier tous les ministres qui ont passé de longues heures au banc du Gouvernement, avec le concours efficace de leurs collaborateurs.
Mes remerciements vont aussi aux assistants et aux collaborateurs des groupes politiques, ainsi qu'à l'ensemble des fonctionnaires du Sénat qui ont fait preuve de leur disponibilité et de leur compétence habituelles unanimement reconnues.
Je remercie en particulier le service du compte rendu intégral, qui a su engager avec efficacité le projet ambitieux de rénovation de ses méthodes de travail, permettant ainsi d'accélérer les délais de publication du Journal officiel de nos débats, désormais mis en ligne sur le site du Sénat dès le lendemain de la séance. Ce pari que nous avons osé prendre, nous l'avons gagné.
Permettez-moi, enfin, d'associer à ces remerciements les journalistes qui ont, dans l'ensemble, fidèlement rendu compte de nos travaux.
Le rideau de la séance va maintenant bientôt tomber, pour une pause bien méritée.