Il distretto industriale: strumento di politica industriale per lo sviluppo locale