Sur le pouvoir expressif des structures applicatives et monadiques indexées. (On the expressive power of indexed applicative and monadic structures). - Ian Malakhovski (2019)