Raffineries : les grévistes gagnent-ils vraiment 5 000 ¬ brut par mois ?