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