O exame clínico de uma paciente com 42 anos de idade evidenciou retração palpebral, exoftlamia bilateral e miopatia restritiva. Nesse quadro clínico hipotético, o diagnóstico provável é de