Aide professionnelle pour tirer les câbles, Machine d'extraction de câbles, dispositif auxiliaire de traction, outils de filetage de câbles pour électricien