1. Premier lemme de Borel-Cantelli (convergence). 2. Deuxième lemme (indépendance). 3. Démonstrations. 4. Applications classiques
Série convergente ⟹ p.s. un nombre fini. Indépendance pour la réciproque