JO de Paris, vacances scolaires... Le Sénat impose des limites au droit de grève