
magasin d'outils- local avec des outils entreposés ou réservoir à outils d'une machine-outil, d'où des outils peuvent être transférés selon les besoins dans une broche de travail ou un porte-outil
Raum mit gelagerten Werkzeugen oder Werkzeugspeicher einer Werkzeugmaschine, aus dem je nach Bedarf Werkzeuge in eine Arbeitsspindel oder einen Werkzeughalter eingewechselt werden können