Clotilde Bizière (LaBRI) et Wojciech Czerwiński (Université de Varsovie) ont un article accepté dans la prestigieuse conférence STOC qui se tiendra du