La Seigneurie de Ronchamp, et l'origine de l'exploitation des houillères de cette localité, 1220-1789. — Jules Finot