Pedro Severino, filho de Lucas, passou por procedimento, diz boletim médico