make relabel cython optionnal
Merge remote branch 'origin/devel' into HEAD
Merge remote branch 'origin/devel' into HEAD
Test case for Issue #88
improvement of the tracer (log into a file)
fix issue #88
again fix Issue #88