Work by Michel Waldschmidt (source code)

= Work by Michel Waldschmidt