Vauchoux (Franco Condado, Francia)