Version modifier de InternationHAL (http://igm.univ-mlv.fr/~gambette/ExtractionHAL/InternationHAL.php)