Piscine municipale de Choye