Opération par laquelle on retranche un nombre d’un autre.
Source: Wiktionary (modifié) · CC BY-SA 3.0
