Propriétés de l'addition et de la multiplication des restes