git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/deep-sequoia@3 4f834e7d-5b19-456f-8924-a42755b34a2b