Lac-ou-Villers (auj. Villers-le-Lac), Doubs