Abandon des mines de sel : faut-il ennoyer ?