Gli arsenali militari di Taranto e Brindisi e il cantiere navale Franco Tosi