Then they put an end to the military occupation of the pits, which were no longer threatened by the crushed strikers.
Puis, ils firent cesser l'occupation militaire des fosses, que les grévistes écrasés ne menaçaient plus.