git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/polychrony/RTScheduling/trunk@5205 707bbb11-7f1d-0410-b1ba-eda810a1b9db