Un agent public peut-il cumuler son activité professionnelle et un mandat de sénateur ?