Estatísticas para Saberes matemáticos: da informalidade do saber matemático de pedreiros à formalidade do saber matemático escolar