The Construction of Definitions Through Padovan's Combinatorial Model: An Investigation With Didactic Engineering in an Initial Education Course for Mathematics Teachers; [A Construção de Definições Por Meio do Modelo Combinatório de Padovan: Uma Investigação Com a Engenharia Didática Num Curso de Formação Inicial de Professores de Matemática]