Laurent Prosperi: Varda: a language for programming distributed systems by composition. (Varda: un langage pour la programmation de systèmes distribués par composition). Sorbonne University, Paris, France 2023