Propriétés des opérations d'addition, de multiplication et de l'inversibilité dans un corps