Commune de Battenans les Mines