And from the fact of that corps in Charlemagne's army, which effected
the passage, having been commanded by his uncle, Duke Bernard, this
mountain previously known as the _Mons_ Jovis, (and, by corruption,
Mont le Joux,) very justly obtained the name which it still retains.