Piscine municipale de Nogent-le-Roi