Quelques corrections mineures pour Toolformer et le linter d’IA.