Je ne sais pas. Il y a le restaurant des sénateurs et celui des collaborateurs. C'est à discuter avec les gestionnaires des restaurants, qui doivent être d'accord. Avant de commencer par les restaurants, je crois que nous pouvons travailler sur le reste de la commande publique.