, LIAFA, CNRS UMR 7089, Case 7014, 75205 Paris Cedex 13, France