Il y a des gens qui ont inclus des notebook sagemath dans des soumissions d'articles de maths ? Ils ressemblaient à quoi ?