Revúcki discipuli – film RTVS o Prvom slovenskom gymnáziu