O exercício do direito de greve pelos servidores públicos civis da Administração direta