Pedagogia — processo administrativo disciplinar

A primeira escola de surdos no Brasil foi criada por Dom Pedro II, em 26 de setembro de 1857, no Rio de Janeiro, sendo atualmente um centro de referência para educação de surdos no Brasil. Qual é o nome dessa escola?