Escola Técnica Estadual de Teatro Martins Penna — public institution of technical education in theater