Les Robots traders, la finance à haute fréquence (2020)