Lavori di messa in sicurezza delle strutture foranee del porto di Pantelleria