Problème de sens dans la négociation didactique en vue de l'institutionnalisation d'un algorithme : notion de proportionnalité au cours moyen