text: The name of this street is "Calle Juan de Torres" according to CDAU (Callejero Digital de Andalucía Unificado).
  
  The street "Calle Juan de Campo" is this other one: https://www.openstreetmap.org/way/754410156
  
  Thank you for the note.
  
  About using notes: https://wiki.openstreetmap.org/wiki/Notes