Lac interdépartemental de Choisy-Le-Roi