On prouve dans un premier temps les deux célèbres lemmes de Borel-Cantelli, puis on les exploite pour montrer un critère de convergence presque sûre de suites de variables aléatoires, et on démontre enfin que ce critère est en fait une caractérisation lorsque les variables aléatoires sont indépendantes et que la variable aléatoire limite est nulle presque sûrement.