L'intelligence artificielle de Google DeepMind optimise les algorithmes de tri