minor
Merge branch 'dec' of github.com:dcoeurjo/DGtal into localdec