A Engenharia didática na formação inicial de professores de matemática: o estudo da generalização e complexificação da Sequência de Padovan