Pantelleria. Origine del nome dell'isola. - Musti, D.