Une ville souterraine a été construite dans le rocher de Gibraltar durant la Seconde Guerre mondiale