git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@105 a672b425-5310-4d7a-af5c-997e18724b81
git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@99 a672b425-5310-4d7a-af5c-997e18724b81