La catastrophe du Grand Bornand : crue torrentielle du Borne le 14 juillet 1987