Paciente com diplopia após traumatismo cranioencefálico leve. Ao exame, apresenta inclinação da cabeça para a esquerda e discreta hipertropia do olho direito, que piora com a inclinação da cabeça para a direita. O diagnóstico é