un accord trouve pour mettre fin a une greve historique dans les raffineries americaines