Fonctionnalité hors de Capytale

CorrectIA

CorrectIA n'est pas une application de Capytale.

Mais, comme les chevrons et le capybara de son logo le laisse transparaitre, elle concerne les utilisateurs de Capytale.

De quoi s'agit-il ?

Son nom le suggère. Cette application sert à configurer l'assistance de large modèle de langage (LLM) pour assister les corrections d'activités.

Il s'agit de travailler sur des lots de copies issues d'activités Capytale (notebook python, notebook SQL et console python), directement importés sous forme d'une archive depuis Capytale.

Voici une partie de l'écran d'accueil de CorrectIA :

Corrigez plus vite. Corrigez mieux. Gardez le contrôle.

CorrectIA est un outil libre et open source conçu pour vous aider à proposer des corrections et des feedbacks sans évaluation, pour des travaux pratiques réalisés en notebooks Python (Capytale).

Il combine la puissance de l’intelligence artificielle avec votre expertise pédagogique…

Vigilance 1

• La propension des élèves à utiliser l'IA est de plus en plus forte.
  Actuellement, tous mes élèves de seconde indiquent y avoir recours plusieurs fois par jour, même après les différentes sensibilisations réalisées.
• Faire corriger une production d'IA par de l'IA, c'est utiliser le double d'électricité¹ et produire beaucoup² d'évaporation d'eau pour une efficacité pédagogique nulle³.

« On ne fait pas boire un veau qui n'a pas soif » disait ma défunte grand-mère avec son aiguisé sens paysan.
On peut tout de même faire en sorte qu'il soit obligé de traverser l'abreuvoir.

Voici deux outils qui peuvent y aider dans notre cas :

« Obliger » les élèves à faire

• Le mode anti triche de Capytale est expliqué dans cette documentation.
  Il permet d'alerter l'enseignant lorsque l'élève « sort » de la page internet de l'activité.
  Contourner ce mode n'est pas impossible, mais demande un certain investissement.
  Ce mode est simple à utiliser.
• Utiliser le navigateur SEB.
  Safe Exam Browser (SEB) est un navigateur conçu spécialement pour les examens qui doit être installé au préalable sur l'ordinateur.
  Lorsqu'il est paramétré comme il convient et utilisé, SEB offre une navigation limitée sur des pages internet .
  Il ouvre une fenêtre de navigateur Web sans élément de navigation (pas de barre de recherche, URL…) et verrouille l'ordinateur en mode kiosque, empêchant alors l'utilisateur d'accéder à d'autres applications ou de quitter SEB de manière intempestive.
  L'utilisation de SEB est plus contraignante, mais bien paramétrée son contournement est quasiment impossible.

Comment utiliser CorrectIA ?

Exporter les copies depuis Capytale

• Depuis votre espace où se trouve une copie qui servira de corrigé (La vôtre ou celle d'un élève), vous cliquez sur le nombre de copies de l'activité à évaluer.
• Au-dessus de la liste des copies qui s'affiche, vous les sélectionnez toutes en cochant la case à gauche de Dernière modif.
• Vous cliquez sur l'icône (Télécharger les copies sélectionnées)

Initialiser CorrectIA

CorrectIA va automatiser la préparation de l'invite (1) fournie au LLM, pour obtenir avec une probabilité importante, un retour proche de ce qu'on aurait pu faire.
Comme pour chaque utilisation d'un LLM, l'invite est essentielle. CorrectIA vous indique ce qu'il a préparé et vous permet de l'enrichir si vous le souhaitez.

1. Le mot « prompt » ne signifie prompt ou rapide en anglais, que lorsqu’il est utilisé comme adjectif.
   Pour les entrées de LLM, « prompt » est utilisé comme verbe.
   To prompt signifie inciter, demander, provoquer, déclencher.
   Le terme français équivalent au prompt anglais est alors invite.

Voyons comment :

• Sans surprise, vous commencez par lui fournir le fichier .zip contenant l'archive téléchargée précédemment.
  
• Parmi les copies décompactées, vous indiquez à CorrectIA celle qui servira de corrigé, normalement la vôtre.
  
• Le LLM doit associer chaque réponse à évaluer à la question correspondante.
  Les notebooks sont constitués de cellules de différents types, dont certaines sont des informations et d'autres forment l'énoncé.
  Vous associez donc chaque cellule contenant le travail des élèves à évaluer, avec la (ou les ) cellule(s) correspondant à l'énoncé (généralement la précédente).
  

• CorrectIA vous propose alors de compléter l'invite qui sera utilisée par le LLM.

• Dans le contexte, vous indiquez le niveau des élèves et précisez les attendus.

• La description du rôle, de la tâche et des contraintes peut être augmentée, pour coller parfaitement à votre situation.
  Par contre, il ne semble pas judicieux d'amenuiser la version proposée.
  
• CorrectIA va ensuite se charger d'insérer les données (copie, corrigé… ) à traiter dans l'invite lors de l'appel pour chaque copie.

Utiliser un LLM

L'étape suivante vous permet

• de choisir le LLM que vous allez solliciter, voire d'utiliser votre propre clé API (1) .
• de limiter la tâche du LLM, pour tester l'invite que vous venez de définir sur une seule des copies.
• de stopper un processus lancé sur l'ensemble des copies. Typiquement, vous vous rendez compte que vous avez oublié de sélectionner l'évaluation d'une cellule et qu'il est inutile d'attendre que les 35 copies aient été parcourues par le LLM.

1. L'acronyme API, vient de l'anglais « Application Programming Interface », soit « Interface de programmation applicative ».
   Une API est une solution informatique qui permet à des applications de communiquer entre elles et de s'échanger mutuellement des services ou des données.
   Votre clé est un identifiant unique qui permet au fournisseur de service de vous identifier.
   Donc de vous accorder plus ou moins de droits, de capacités de calcul, en fonction de votre abonnement, voire de vous bloquer si vous avez atteint la limite prévue par votre contrat.

Les LLM proposés (image ci-dessous) sont hébergés en France par ILaaS (Inference LLM as a Service) qui propose une infrastructure souveraine pour l’usage des IA.
Attention si vous utilisez un modèle non souverain , vous êtes peut-être en train d'enfreindre les préconisations de votre académie.
Elles sont plusieurs à interdire l'utilisation des données élèves avec de tels LLM.

Valider

Cette étape est essentielle :

• Vous n'avez pas encore lu certaines copies.
  Vous n'avez aucune idée du niveau d'appropriation des concepts que vos élèves ont abordés.
  Sans cela, vous ne pouvez pas adapter efficacement le futur travail à vos élèves.
• Le LLM a seulement pré-corrigé leurs copies. C'est déjà beaucoup.
• N'oubliez pas que la qualité de l'invite améliore la pertinence. Mais, tant qu'on utilisera le même paradigme, la probabilité qu'un LLM confabule ne sera jamais nulle.

Vigilance 2

• Corrigez et évaluez des travaux d'élèves engage notre responsabilité.
• Les LLM sont des machines probabilistes⁴ sans conscience, sans raisonnement, sans responsabilité⁵ et rarement open source⁶.

Rendre la correction

CorrectIA vous propose

• d'exporter en pdf ou en md (markdown), ce qui constitue désormais vos corrections,
• ou de déposer l'ensemble des corrigés dans Nuage le cloud de Apps Éducation, puis
  de permettre l'accès à ses corrigés pour chaque élève au moyen d'une procédure annuelle par classe.
• ou d'effectuer un publipostage à partir d'une liste d'adresses de courriel.

Vigilance 3

• Les navigateurs Chrome, Safari et Edge sont connus⁷ pour leur propension à envoyer des données personnelles à leur propriétaire Google, Apple et Microsoft.
• L'ensemble des applications propriétaires, Maps, Docs, Gmail, ... font de même.
• En croisant l'ensemble de ces données avec ce qu'ils connaissent déjà (comme le propriétaire de l'adresse mail), ils peuvent lier des données qui nous apparaissent anonymes.
• Si la messagerie de votre ENT ne permet pas le publipostage, nous conseillons d'utiliser la procédure via Nuage et pas des adresses de type Gmail.
• D'ailleurs, certaines académies, comme celle d'Amiens interdisent l'usage de Gmail pour les communications scolaires.

Résumé du flux opérationnel

Préalable :

• Une classe a réalisé une activité notebook python sur Capytale.
• Réaliser l'activité en tant qu'élève. La copie servira de modèle pour la correction.
• Depuis Capytale, télécharger un fichier compacté au format .zip de toutes les copies de l'activité.

Dans CorrectIA :

• Importer le fichier.
• Associer les parties à corriger 🎯 avec leur énoncé.
• Paramétrer et générer les pré-corrections via un LLM de votre choix.
• Vérifier, ajuster et enrichir les retours.
• Exporter en Markdown ou PDF.
• Effectuer le retour auprès des élèves.

Vous obtiendrez des précisions avec cet enregistrement vidéo de la présentation détaillée de CorrectIA lors des Forgéales par son auteur, Stéphane Friedelmeyer.

On apprécie

• L'utilisation de LLM hébergés en France et les possibilités offerte par CorrectIA permettent une utilisation conforme au RGPD.
• L'interface contient beaucoup d'aides et d'informations.
• Le compteur de tokens (unité d'utilisation d'un LLM) au bas de la page vous permet d'avoir une idée du coût environnemental de votre utilisation des LLM via CorrectIA.
• CorrectIA continue d'évoluer.
  Au moment où nous écrivons, un suivi annuel de la production des élèves est en cours de développement.
  Vous aurez alors accès aux bilans de chacune des activités corrigées.
  Ces retours sont cryptés avec une clé que vous fournissez, puis sont stockés via , l'excellent logiciel de base de données fourni par , développée par la France, l'Allemagne et les Pays-Bas.

Accès au focus sur une activité

---

1. Selon cette étude du MIT de mai 2025,

   • produire cinq secondes de vidéo avec CogVideoX exige 3,4 millions de joules (équivalent environ à 60 km en vélo électrique ou une heure de micro‑ondes).
   • d’ici 2028, la consommation annuelle dédiée à l’IA pourrait atteindre 326 térawatts-heures.
     En 2024, la consommation totale de la France a été 450 TWh.

   ↩

2. D'après France info, faire une simple demande à l'intelligence artificielle revient à évaporer 50 centilitres d'eau, soit l'équivalent d'une petite bouteille qui ne sera plus utilisable localement, notamment pour l'agriculture. ↩

3. On n'apprend pas à faire du vélo en regardant le tour de France.
   On apprend en faisant et en acceptant de faire des erreurs, qui deviennent alors formatrices.
   C'est la première année que je n'arrive pas à faire comprendre ce message à mes secondes. ↩

4. Schématiquement, un LLM est une immense banque de probabilités qui, à partir de l'invite qu'on lui fournit, génère une réponse probable.
   
   Un bel exemple où probable devient erreur, par Chat GPT :
    ↩

5. Cet article qui commente une décision juridique allemande montre que cela commence peut-être à changer. ↩

6. CorrectIA est open source, car vous pouvez lire son code ici.
   Les codes des LLM sont tous illisibles, puisque constitués de milliards de paramètres (probabilités).
   Les données sur lesquelles les ténors des LLM s'entraînent sont jalousement gardées par leurs concepteurs. ↩

7. La bande dessinée en lien est très instructive de ce point de vue. ↩