According to figures I had myself checked the previous week, the workforce in that industry had gone down from the 1993 total of 12,000 to 3,000, or one-quarter, 25%, of that number.
De 12 000 travailleurs que comptait cette industrie en 1993, selon les chiffres que j'avais moi-même vérifiés la semaine précédente, on était rendus à 3 000 travailleurs, soit 25 p. 100 du nombre de travailleurs.