Laboratoire d'algorithmique, complexité et logique (Créteil)