18 septembre : faut-il prévenir son employeur avant de faire grève ?