Encadrement du droit de grève : que contient la proposition de loi examinée ce mardi au Sénat ?