Yes , yes you are so right! I found it now in the smaller one of my two paper dictionaries. Which proves once more that the bigger isn't always the better.
Here's Larousse online ( another industrial use of the word)

linkje