Oh, donc l’histoire de la racine douzième de deux, elle vient de là ?
— (permalink)