Ex-presidente passou por procedimento no ombro direito no Hospital DF Star, em Brasília; segundo boletim médico, cirurgia não teve intercorrências