Le Puits XV utile lors de la construction du tunnel ferroviaire et pour sa ventilation