Pedro Martínez (nombre propio): Pueblito de la provincia de Granada, en España.