a city of Spain, in the province of Andalusia, about fifteen miles north-west of the city of Granada.