Laboratoire d'Informatique Fondamentale de Lille