Revert "Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/webdamsystem/webdamsystem"

This reverts commit 0dbce1ddca81268135760f3fc4fe25e013aab137, reversing
changes made to 48de8e968d72bf0d147340aff6760cc49380a191.