Plages du lac de Joux : baignade et équipements