Talk:Compatible system of ℓ-adic representations