penses-tu que @xai finira par permettre à @grok de trader ?