This sounds a lot like another story involving Archimedes and a bathtub, and it's possible that's because they're actually the same story, twisted by the vagaries of history.
Cela ressemble à une autre histoire impliquant Archimède et une baignoire et il est possible que ce soit les mêmes histoires entremêlées par les caprices de l'histoire.