Algorithmic, Complexity and Logic Laboratory Unité de recherche 4219, École Doctorale MSTIC Univ Paris Est Creteil, LACL, F-94010 Creteil, France