Jaén (nombre propio): Provincia de Andalucía.