Ya que nos hemos ocupado de este edificio, mencionaremos otro inmediato, que ha desaparecido, el Cuartel de Restauradores.