Estatísticas para Carnavescola: produção de uma sinopse de carnaval e composição de samba enredo: uma proposição ao ensino de História