Olivier Stietel: Local first order logic with data: toward specification of distributed algorithms. (Logiques locale du premier ordre avec données: vers la specification d'algorithmes distribués). Paris Cité University, France 2023