Copier / Couper / Coller / Supprimer
outil(s)
Les options copier, coller, couper et supprimer
permettent
de copier, déplacer un outil ou plusieurs
outil dans d'autres pot du gestionnaire d'outil
de le(s) supprimer du magasin.
Il est également possible de copier ou déplacer des outils dans un autre
document.