Work by Jean-Pierre Demailly (source code)

= Work by Jean-Pierre Demailly