#REDIRECT http://homepages.laas.fr/croussil/doc/jafar/