Challenge 70 du blog Math-OS - Que peut-on dire de la suite des moyennes d'une suite réelle divergente ?