Massif des Diablerets, lac de Bretaye