langlands conjectured that a continuous complex galois representation can be associated to an automorphic ''representation'' such that their $l$-functions agree. we reduce the problem for representations into $gl(4)$ with solvable image into several cases. we prove that in certain cases, langlands modularity conjecture holds. in particular, we obtain a new case of artin s $l$-function conjecture.