San Cristóbal de La Laguna (nombre propio): Una gran ciudad y un municipio en Tenerife, España (población: 153.187 (2011)).