Fabian Reiter: Distributed Automata and Logic. (Automates Distribués et Logique). Sorbonne Paris Cité, France 2017