This result states that let be an odd prime and let be the ring of integers in a finite extension of , with residue field . Let be a continuous representation unramified outside a finite set of primes, and let be its residual... It places Wiles Modularity Lifting in the framework of modular forms and Galois representations.