Commit 5ed30f844d3f3eb92aab50a95b7221f4b1388fa8

Sylvain Becker 2019-02-07T22:45:50

Some simplification of previous commit