Tingi.

Antico nome della città di Tangeri (V.).