Coding Week
Relire ce qu'on n'a pas écrit · A5, Coding Week 1A
Hermann Agossou
École Centrale Casablanca • 2026 • Casablanca, Maroc
Doctorant, UTER MID@S, ECC / UH2C
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Section
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Deux questions sur A3 et A4
Que prouve-t-il exactement, et que permet-il de défaire ?
Pourquoi un test écrit après le correctif ne prouve-t-il rien ?
Tout ce que vous déciderez aujourd'hui devra s'appuyer sur l'un des deux : une ligne du diff, un test manquant, ou une exécution que vous avez faite.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Deux diffs, trois minutes de triage
Accepter, corriger ou refuser ? Écrivez votre réponse et une raison. On y reviendra à la fin de la séance pour comparer.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Le vocabulaire avant le jugement
Une décision prise avec une information incomplète, et qu'il faut quand même prendre.
Ce qu'un changement prétend faire, et rien d'autre.
La possibilité de défaire ce changement-là, sans défaire les autres.
D'où vient ce changement, et comment on le sait.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Plusieurs bénéfices, pas un faux choix
L'exactitude et le risque de défaut comptent, avec la compréhension, la cohérence, la maintenabilité, la propriété du code et le partage de connaissance. La source ne justifie pas de les opposer.
Voir: [1] Winters et al. (2020); [2] Sadowski et al. (2018)
Des changements généralement petits, un seul LGTM normalement suffisant, et une pratique qui sert ensemble qualité, formation, normes et transfert de connaissance.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Lisibilité future, normes, transfert de connaissance
01
Le changement fait-il ce qu'il annonce, et se lit-il ?
02
Est-ce ainsi que l'on fait les choses dans cette partie du projet ?
03
Les idiomes sont-ils corrects ? Une expertise distincte des deux autres.
Le coût et le délai de relecture croissent fortement avec la taille. Un changement énorme n'est pas relu : il est approuvé. C'est le sujet de la deuxième partie.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Une association mesurée, pas une loi universelle
Left
Le réflexe quand on a peur.
Right
Plus fréquente, plus petite, plus proche.
Voir: [3] Forsgren et al. (2018)
L'enquête ne tranche pas le code généré. Elle contredit toutefois l'idée qu'une approbation externe plus lourde améliore automatiquement la stabilité.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce que la revue est
Chaque raison pointe une ligne
Left
Impossible à vérifier, impossible à contester.
Right
Ancré, donc discutable.
Récupérez la branche, exécutez la suite et relisez le diff contre l'intention. Une conclusion sans ligne ni exécution reste une impression.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Section
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Portée, ordre, réversibilité
01
Une intention par changement. Un renommage et un correctif ne voyagent pas ensemble.
02
Chaque étape tient seule et laisse le projet fonctionnel.
03
On peut défaire une étape sans défaire les autres.
Avant que quiconque n'ouvre le diff. Même dans un fichier, validation, calcul et restructuration doivent pouvoir être vérifiés et annulés séparément.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Un diff, trois intentions
01
Ajouter seulement le test qui fixe le comportement observé.
02
Ajouter le test, puis le code minimal qui le satisfait.
03
Ordonner les intentions restantes pour que chaque étape compile et passe la suite.
Terminez la séquence, puis annulez une étape au hasard et confirmez que les autres tiennent toujours. Si elles tombent, l'ordre était faux.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Et ce qu'elle ne mesure pas
Sur 89 scénarios et 1 689 programmes produits avec le système étudié, environ 40 % étaient vulnérables dans les classes de faiblesses testées. Une surface idiomatique n'est donc pas une preuve de sécurité.
Voir: [4] Pearce et al. (2022)
Ce taux n'est pas une fréquence actuelle pour tous les assistants, langages ou projets. Il dépend d'un système ancien, de scénarios sélectionnés et de la procédure d'évaluation de l'étude.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Trois arguments, pas trois résultats
Aucun des trois n'est un résultat publié. Ce sont des raisonnements que vous pouvez contester, raison pour laquelle ils sont écrits ici plutôt que passés sous silence.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
La suite est verte, et alors
Left
Le lot positif ordinaire donne `Decimal(12.50)`.
Right
Le calcul passe par `float` et prend la valeur absolue.
Exécutez les tests fournis, ajoutez un cas non couvert, puis relancez. Une suite verte ne prouve rien sur un cas qu'elle omet.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Sans savoir qui a écrit quoi
Deux contributions. On ne vous dit pas laquelle a été écrite par une personne. Décidez pour chacune, et justifiez uniquement à partir du diff, des tests et de vos exécutions.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Où s'arrête ce que l'on sait
Le coût irrécupérable est un biais permanent : on répare parce qu'on a déjà investi, pas parce que réparer est moins cher.
Où placer le seuil. Aucune étude ne le fixe. Vous devrez en choisir un, l'écrire et le défendre. C'est un jugement, et il est évalué comme tel.
Ce cours vous demande depuis lundi de ne rien accepter sans vérification. Il serait malhonnête de vous donner ici une certitude que personne n'a.
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Ce qui change quand l'auteur est une machine
Fin du parcours A
Jamais complète, et pourtant à prendre.
Portée, ordre et réversibilité sont décidés par l'auteur.
Quand l'auteur n'est plus déductible du code.
Contre un biais qui, lui, ne changera pas.
Reprenez votre verdict initial. Qui le change, et pour quelle raison ancrée ?
Coding Week
1A · Coding Week · A5 Collaborer à l'ère de l'IA · H. Agossou
Appendix