Quem foi Fausto Cunha Arantes: trabalhador homenageado com nome de quadra poliesportiva