O direito de greve do servidor público: