Nous nous intéressons aux formes modulaires surconvergentes définies sur certaines variétés de Shimura, et prouvons des théorèmes de classicité en grand poids. Dans un premier temps, nous étudions les variétés ayant bonne réduction, associées à des groupes non ramifiés en p. Nous nous intéressons aux variétés de Shimura PEL de type (A) et (C), qui sont associées respectivement à des groupes unitaires et symplectiques. Pour démontrer un théorème de classicité, nous utilisons la méthode du prolongement analytique, qui a été développée par Buzzard et Kassaei dans le cas de la courbe modulaire. Nous généralisons ensuite ce résultat de classicité à des variétés en ne supposant plus que le groupe associé est non ramifié en p. Dans le cas des formes modulaires de Hilbert, nous construisons des modèles entiers des compactifications de la variété, et démontrons un principe de Koecher. Pour des variétés de Shimura plus générales, nous travaillons avec le modèle rationnel de la variété, et utilisons un plongement vers une variété de Siegel pour définir les structures entières. / We deal with overconvergent modular forms défined on some Shimura varieties, andprove classicality results in the case of big weight. First we study the case of varieties with good reduction, associated to unramified groups in p. We deal with Shimura varieties of PEL type (A) and (C), which are associated respectively to unitary and symplectic groups. To prove a classicality theorem, we use the analytic continuation method, which has been developed by Buzzard and Kassaei in the case of the modular curve. We then generalize this classicality result for varieties without assuming that the associated group is unramified in p. In the case of Hilbert modular forms, we construct integral models of compactifications of the variety, and prove a Koecher principle. For more general Shimura varieties, we work with the rationnal model of the variety, and use an embedding to a Siegel variety to define the integral structures.