A study of contradictions as a lever for continuing education: A case involving algebraic generalization activities / Étude de contradictions comme levier de formation continue: un exemple autour d’activités de généralisation algébrique