Direito de greve do servidor público civil: do simbolismo à efetividade constitucional / The public server's right to strike: From the symbolism to the constitucional effectiveness