(La séance est levée à dix-huit heures dix.)

Pour le Directeur des comptes rendus du Sénat,

le Chef de publication

FRANÇOIS WICKER