Merge pull request #17 from dsi-infrastructure/develop

Modification mineure.