la descente du Col du Coin.