Comment utiliser l’historique Git d’Overleaf pour contester un faux positif de détection d’IA

En arrière-plan, Overleaf consigne chaque sauvegarde et chaque commit dans un dépôt Git. Lors d’une contestation relative à l’intégrité académique, vos hachages de commit, la dérivation progressive de vos formules et l’enrichissement continu de votre fichier BibTeX constituent des preuves matérielles qu’aucun prompt d’IA ne peut produire.

L'équipe HumanPen

· 7 min de lecture

L’historique d’Overleaf peut-il vous disculper lors d’un litige d’intégrité académique lié à l’IA ?

Oui. Les commissions d’intégrité académique exigent une preuve de provenance : une trace de rédaction vérifiable démontrant que le document a été élaboré pas à pas au fil du temps. Turnitin, iThenticate et GPTZero n’évaluent que le PDF statique final. Ils attribuent un score probabiliste fondé sur la perplexité et la burstiness, mais ils sont totalement incapables de voir comment le document a été assemblé.

Overleaf, lui, enregistre l’intégralité de ce processus de construction. Parce que le style scientifique et mathématique repose sur une syntaxe concise, passive et très formelle, les articles scientifiques déclenchent un taux élevé de faux positifs aux détecteurs d’IA. Le détecteur affirme que votre texte a surgi instantanément d’un prompt génératif. Un historique Overleaf vérifiable prouve exactement l’inverse : des centaines de modifications progressives, de corrections de syntaxe, de renommages de variables et d’ajustements de théorèmes échelonnés sur des semaines ou des mois.

En présentant un historique cryptographique de votre processus d’écriture, vous substituez des preuves matérielles aux déductions algorithmiques probabilistes. Une commission d’intégrité ne peut maintenir une accusation de fraude face à des traces de révision vérifiables et horodatées.

Les deux niveaux d’historique d’Overleaf : révisions web et intégration Git

Overleaf propose deux mécanismes de suivi bien distincts. Comprendre leur différence est déterminant pour extraire et présenter vos preuves :

  1. L’historique des révisions web (onglet History) :

L’éditeur web regroupe les frappes au clavier en sessions de modification distinctes et affiche des comparaisons visuelles côte à côte. Vous pouvez voir quel auteur a effectué telle modification et restaurer des versions antérieures. En revanche, les options d’exportation depuis l’interface web restent limitées. Avec un compte gratuit, Overleaf restreint l’affichage aux modifications récentes (généralement les dernières 24 heures), même si l’historique complet reste stocké en arrière-plan et redevient accessible dès que le projet passe à un abonnement supérieur.

  1. Le Git Bridge sous-jacent et la synchronisation GitHub :

Chaque projet Overleaf repose sur un dépôt Git. Grâce à l’accès direct via le Git Bridge (`git.overleaf.com`) sur les offres payantes ou institutionnelles, ou via l’intégration native avec GitHub/GitLab, vous pouvez manipuler votre projet avec les outils standards de contrôle de version.

Si l’interface web suffit pour une relecture personnelle, un recours académique exige des preuves infalsifiables et facilement consultables. L’exportation de l’arborescence Git sous-jacente vous fournit les hachages exacts des commits, les métadonnées relatives aux auteurs, un double horodatage (date de l’auteur contre date du commit) ainsi que des fichiers de diff lisibles par machine que tout enseignant-chercheur en informatique ou en ingénierie peut vérifier de manière indépendante.

Extraire des preuves cryptographiques : cloner le dépôt et exporter le journal Git

Pour présenter votre historique de rédaction à une commission académique, clonez le dépôt Git brut sur votre machine locale et générez une piste d’audit claire et structurée.

  1. Cloner le dépôt du projet : si votre établissement fournit Overleaf Professional ou si vous disposez d’une formule payante, clonez le projet directement via le Git Bridge d’Overleaf avec `git clone https://git.overleaf.com/[project-id] thesis-appeal-repo`. Si votre projet est synchronisé avec GitHub ou GitLab, clonez votre dépôt distant avec `git clone https://github.com/[username]/[repository-name].git thesis-appeal-repo`.
  1. Exporter les métadonnées complètes et horodatées des commits : exécutez la commande `git log` avec l’option `--pretty=fuller` en utilisant `git log --pretty=fuller --stat > commit_timeline_summary.txt`. Cela permet d’afficher à la fois `AuthorDate` (le moment où la modification a été rédigée) et `CommitDate` (le moment où le commit a été enregistré sur le serveur distant). Comme les horodatages du serveur ne peuvent pas être falsifiés en modifiant l’horloge de votre ordinateur local, ils font office de preuve chronologique certifiée par un tiers.
  1. Générer un diff ligne par ligne pour les sections contestées : pour démontrer que vous avez rédigé vous-même un chapitre ou une section, extrayez l’historique complet des modifications de ce fichier avec `git log -p -w --reverse -- main.tex > main_tex_evolution.diff`, ou isolez les commits modifiant un théorème spécifique avec `git log -S "theorem:convergence" -p -- sections/methodology.tex > convergence_proof_steps.diff`. Ce fichier consigne chaque ajout et chaque suppression au format standard unified diff, établissant ainsi la chronologie réelle de votre brouillon.

La preuve irréfutable en sciences : l’évolution des équations et l’enrichissement de BibTeX

Contrairement aux dissertations en sciences humaines qui progressent par reformulations de phrases, les articles scientifiques contiennent des empreintes techniques uniques que les grands modèles de langage ne produisent jamais lors d’une génération de texte en une seule passe.

  1. Dérivation mathématique pas à pas : les modèles d’IA génèrent des équations LaTeX complètes d’un seul bloc. Les chercheurs humains, eux, commettent des erreurs de notation, ajustent les indices, corrigent des signes et découpent les formules trop longues sur plusieurs lignes au gré des compilations successives. Dans un dépôt authentique, un commit initial enregistre une fonction de perte de base (`\mathcal{L}(\theta) = \sum \log P - \lambda \sum \|\mathbf{w}_k\|_2^2`), tandis que les commits suivants affinent les termes de régularisation (`-\frac{\lambda}{2} \sum \|\mathbf{w}_{k, t}^{(j)}\|_2^2`) et harmonisent les dimensions des indices. Cet ajustement progressif de notation constitue la preuve empirique d’une véritable élaboration mathématique.
  1. Cycles de débogage et de compilation LaTeX : la rédaction humaine en LaTeX s’accompagne inévitablement d’erreurs de compilation répétées : accolades non fermées, caractères réservés non échappés, packages manquants ou renvois non résolus. Votre journal Git mettra en évidence des commits intermédiaires dédiés à la correction d’erreurs de compilation précises (comme fermer une parenthèse `\left(` oubliée avec un `\right)`, ou remplacer une clé `\cite` invalide). Ces commits de dépannage minutieux sont totalement absents des textes générés par une IA.
  1. Ajouts asynchrones dans BibTeX : les modèles génératifs ont tendance à halluciner des références ou à insérer des blocs massifs de citations en une seule fois. À l’inverse, un dépôt de recherche authentique montre des fichiers `.bib` qui grossissent progressivement au fil du temps. Les commits attestent de l’ajout individuel d’entrées BibTeX à des dates distinctes, reflétant fidèlement l’avancée réelle de votre revue de littérature :
DateFichierAction du commitContexte
02 oct.`references.bib`Ajout de `@article{vaswani2017attention}`Lectures préliminaires sur le mécanisme d’auto-attention
09 oct.`methodology.tex`Ajout de `\cite{vaswani2017attention}`Rattachement de l’architecture du modèle à l’état de l’art
14 oct.`references.bib`Ajout de `@inproceedings{devlin2018bert}`Revue comparative des modèles de référence (benchmarks)

Constituer votre dossier de recours pour la commission académique

Les commissions d’intégrité académique réunissent à la fois des spécialistes techniques et des membres administratifs. Ne leur transmettez pas des centaines de pages de sorties brutes de terminal sans aucune structure. Organisez plutôt votre dossier de recours de manière formelle et professionnelle :

  1. Synthèse générale (1 page) : précisez le cours, le titre du mémoire, le nom de l’enseignant et le pourcentage exact d’IA contesté sur Turnitin ou iThenticate. Résumez les indicateurs clés du projet : durée totale de rédaction (par exemple 47 jours), nombre total de commits (par exemple 114 commits), URL du dépôt et identifiant de projet Overleaf. Formulez clairement : « The attached technical record establishes an uninterrupted drafting timeline that refutes the claim of automated text generation. » (L’historique technique ci-joint établit une chronologie de rédaction ininterrompue qui réfute l’affirmation d’une génération automatisée de texte.)
  1. Tableau chronologique des jalons : fournissez un récapitulatif synthétique associant les étapes majeures du document aux hachages de commit Git correspondants :
Jalon / SectionHachage du premier commitDate de l’auteur (Author Date)Hachage de la version finaleDate du commit sur le serveur (Commit Date)
Formulation du problème`a7f39c1`2026-09-04`b2e410d`2026-09-12
Lemme 2 et démonstration`c9148e2`2026-09-18`d810f3a`2026-09-29
Protocole expérimental`e3b7911`2026-10-02`f509c2b`2026-10-11
  1. Extraits choisis et annotés de diff : sélectionnez 3 à 5 diffs majeurs illustrant les étapes de calcul d’une formule, l’ajustement du pseudo-code d’un algorithme ou l’enrichissement de votre état de l’art. Ajoutez de courtes annotations expliquant vos arbitrages intellectuels.
  1. Annexe technique complète : convertissez la sortie intégrale de `git log --stat` et le détail des patchs en une annexe PDF indexée. Veillez à ce que les hachages de commit correspondent exactement au dépôt en ligne sur Overleaf ou GitHub, afin que la commission puisse inspecter directement l’arborescence.

Conservez un ton professionnel et objectif tout au long de l’audition. Mettez en avant les limites techniques et probabilistes des détecteurs d’IA plutôt que de contester les intentions de l’évaluateur.

Si certains passages restent contestés : la révision ciblée

Même lorsqu’une commission académique accepte votre journal Git comme preuve de votre travail personnel, elle peut exiger la réécriture de certains paragraphes si l’établissement impose un seuil strict sans la moindre alerte pour l’archivage final de la thèse. Dans un manuscrit LaTeX technique, réécrire manuellement des sections de contexte ou de revue de littérature risque d’altérer les citations, les renvois croisés (`\label{}` et `\ref{}`) ou la syntaxe mathématique.

Importez le rapport Turnitin ou iThenticate et reformulez uniquement les passages signalés. Vous récupérez un fichier modifiable au même format.

En ciblant exclusivement les passages litigieux, vous préservez l’intégrité de votre structure LaTeX, de vos formules mathématiques et de vos réseaux de citations, tout en répondant précisément aux alertes soulevées par le logiciel d’analyse de la commission.

Foire aux questions

Que faire si j’ai utilisé Overleaf avec un forfait gratuit sans activer l’intégration Git ? Si vous n’avez pas associé GitHub ni utilisé le pont Git pendant la rédaction, vous pouvez toujours accéder à l’onglet History sur le web. Si la formule gratuite ne montre que les dernières 24 heures d’historique, passer à un abonnement supérieur ou obtenir une licence institutionnelle débloquera immédiatement et rétroactivement l’intégralité de l’historique. Vous pouvez aussi étayer votre recours avec les archives `.zip` de brouillons téléchargées localement, les sorties PDF horodatées du cache de votre compilateur et l’historique de navigation de votre navigateur.

Un étudiant peut-il falsifier les horodatages des commits Git pour fabriquer un recours ? S’il est possible de modifier les dates locales à l’aide de la variable d’environnement `GIT_AUTHOR_DATE`, nul ne peut altérer les horodatages enregistrés par le serveur distant d’Overleaf ou de GitHub lors de la réception des commits. Le champ `CommitDate` du serveur consigne l’heure réseau exacte de réception. De plus, reconstituer des dizaines d’états LaTeX intermédiaires crédibles, compilables, avec de véritables erreurs de syntaxe et une progression itérative des formules, est quasiment impossible à automatiser de manière convaincante.

Turnitin et iThenticate consultent-ils automatiquement l’historique Git d’Overleaf ? Non. Turnitin et iThenticate analysent uniquement le fichier déposé sur le portail universitaire (généralement un PDF ou un document Word). Ils ne disposent d’aucune intégration avec Overleaf, GitHub ou un quelconque environnement de rédaction. Ils se contentent d’examiner les motifs statistiques du texte après soumission, raison pour laquelle les étudiants doivent extraire et présenter eux-mêmes leur historique de versions.

Des membres non spécialistes de la commission comprendront-ils un journal Git ? De nombreux membres issus de disciplines non scientifiques ne sont pas familiers avec la syntaxe de Git. C’est précisément pourquoi votre synthèse d’une page et vos tableaux comparatifs de diffs visuels sont indispensables. En revanche, les enseignants en sciences ou les conseillers techniques siégeant à la commission saisissent immédiatement la valeur du contrôle de version, et des historiques de commits cryptographiques certifiés par un tiers constituent une défense objective et solide sur le plan académique.

CONTINUER LA LECTURE