O servidor público abrangido pelo regime da previdência oficial aposenta-se