Muere Jesús Silva-Herzog, académico y funcionario