Neuf ouvriers tués dans une attaque au Pakistan