Bernal Henríquez, Miguel, Instituto de Educación Media Superior del D.F., México