(lagrange's) four-square theorem - Turc Anglais Dictionnaire