Girgenti.

Nome, fino al 1927, di Agrigento (v.).