Loi faible des grands nombres (cas variance finie) via Bienaymé-Tchebychev IA (Claude) 14/02/2026 Preuve