mais la fraîcheur "du Borne" ne suffisait pas et la fontaine du Petit Bornand fut assaillie !