copy of svn://scm.gforge.inria.fr/svnroot/apron/apron-dist/trunk