Ce volume est consacré à l'arithmétique p-adique des formes modulaires de Hilbert. Il contient plusieurs théorèmes de classicité de formes surconvergentes généralisant d'une part le critère de Coleman, valable en poids assez grand, d'autre part celui de Buzzard-Taylor, valable en poids un, ce dont on déduit des applications aux conjectures d'Artin et de Fontaine-Mazur. On construit également des variétés de Hecke pour les formes de Hilbert.