Preuve et algèbre au collège: de la conception d’une séquence d’apprentissage à l’évolution du cadre théorique de référence