Challenge n° 13 de Math-OS : Une formule sommatoire pour la somme des racines carrées entières des entiers de 1 à n^2 - 1.