  La correspondance de Langlands locale p-adique pour GL_2(Q_p) est une
bijection entre certaines representations de dimension 2 de Gal(Q_p^bar/Q_p) et
certaines representations de GL_2(Q_p). Cette bijection peut en fait etre
construite en utilisant la theorie des (phi,Gamma)-modules et des resultats
d'analyse p-adique. On deduit alors des proprietes de cette construction
quelques applications interessantes en arithmetique.
