Que vaut la somme des 2020 premiers entiers naturels ?