Estatísticas para Interações entre o saber matemático formal e o fazer matemático informal: um estudo de caso com um mestre da carpintaria naval