Martins (2015, p. 52), ao remontar o histórico da educação de surdos no Brasil e a história da Libras, ressalta que “os primeiros relatos sobre a educação dos surdos no país datam do século XIX, mais precisamente no ano de 1857, quando foi inaugurada a primeira escola para surdos”, que, atualmente, é denominada Instituto Nacional de Educação de Surdos (INES). Conforme ressalta o autor, foi nessa instituição que, com a influência do uso de uma língua estrangeira, a comunicação sinalizada em nosso país teve suas contribuições para a formação da Libras. Os registros documentais evidenciam que a Libras tem sua origem histórica relacionada a qual língua estrangeira?