Local-global compatibility at primes dividing l