Aux origines de l'expression "Jeter l'éponge"