#refresh 0  http://homepages.laas.fr/croussil/doc/jafar/