En rapportant cette discussion, Ténot emploie le terme propre –et ici amusant : « grève générale ».