Salut !
On a par cezaro limAn=a ==>lim 1/n.Sigma(Ak)=a
et limBn=b ==>lim 1/n.Sigma(Bk)=b
On pose (Vn)=(B(n-k)) (pour un n fixe )
On a lim 1/n sigma(Vn)=lim 1/k sigma (Bk)=b
supposons que (Vn) converge vers x/=b , on aurait lim 1/n sigma(Vn)=x/=b , contradiction .. donc limVn=b
donc lim An.Vn=lim An.B(n-k)=ab ==>lim 1/n.sigma An.B(n-m)=ab
(sauf err)