Laboratoire d’Algorithmique, Complexité et Logique Unité de recherche 4219, École Doctorale MSTIC n°RNSR : 200715457A Univ Paris Est Creteil, LACL, F-94010 Creteil, France