Per quanto generico, dovrebbe essere il nome proprio, usato localmente sui pannelli informativi per identificarlo e distinguerlo dagli altri laghetti nel parco. Di sicuro non è un lago alpino, nel senso geologico.