Statistics of Sens et symboles en mathématiques : Etude de l'utilisation du signe moins dans les réductions polynomiales et la résolution d'équations du premier degré à une inconnue