À quelques dizaines de mettre de profondeur, 89 kilomètres de tuyaux d'eau glacée climatisent certains lieux emblématiques de la capitale.