Commit 3933d03e0a501f9311c7a35f7df8bfbf17c0c3f2

Richard 2018-02-15T20:47:42

Merge pull request #11 from OlivierSohn/master Fix a memory leak