Armando, en honor al presidente que estuvo a cargo de la institución por más de dos décadas.