Combien d'années dure un mandat de sénateur en France aujourd'hui ?