Preuves · état au 3 novembre 2026
Chaque chiffre du site a une assertion derrière lui. Voici lesquelles tiennent.
Onze études, onze notebooks. Onze se rejouent sur cette machine pendant que vous lisez, avec les mêmes chiffres et les mêmes empreintes d'entrée que le jour où ils ont été écrits. Les zéro autres s'arrêtent en première cellule et nomment les fichiers qui leur manquent, parce qu'un notebook de preuve qui invente ses données est pire qu'un notebook absent.
Onze sur onze, dit à voix haute.
Un portfolio qui montre onze fichiers et reconnaît que zéro ne tournent pas est plus crédible qu'un portfolio qui en montre un et laisse croire qu'il y en a onze. Le tableau ci-dessous est généré depuis les sorties des notebooks elles-mêmes : aucun chiffre n'est tapé à la main, et la page ne peut pas revendiquer une étude qui n'a pas de fichier de sortie.
| N° | Étude · ce qu'elle mesure | État | Assert. | Niveau | Rejoué | Fichiers |
|---|---|---|---|---|---|---|
| 01 | Station Cerise 83 dimensions testées, 55 retenues, et le compte des 20 colonnes par défaut d'une table de scouting. |
rejoué | 7 | agrégats | 3 novembre | .ipynb · .json |
| 02 | Tirs au but 2 081 tirs de séance, 206 séances, et le recouvrement des intervalles par continent. |
rejoué | 4 | agrégats | 3 novembre | .ipynb · .json |
| 03 | Profils de passe Onze archétypes de passeur, et la validation faciale sur dix-neuf joueurs de référence. |
rejoué | 4 | agrégats | 3 novembre | .ipynb · .json |
| 04 | France, deux cycles Deux cycles de l'équipe de France, mesurés sur 612 observations. |
rejoué | 4 | agrégats | 3 novembre | .ipynb · .json |
| 05 | Tide 22 tirs appariés entre deux sources, sous une tolérance déclarée. |
rejoué | 3 | agrégats | 3 novembre | .ipynb · .json |
| 06 | Pause fraîcheur 232 matchs de trois éditions, et huit intervalles de confiance. |
rejoué | 7 | agrégats | 3 novembre | .ipynb · .json |
| 07 | Prénoms 125 ans de prénoms INSEE : entropie et concentration du top 10. |
rejoué | 4 | complet | 3 novembre | .ipynb · .json |
| 08 | Cinéma 14 601 films, la chute des titres partagés et la rupture de mi-1970. |
rejoué | 4 | agrégats | 3 novembre | .ipynb · .json |
| 09 | Profils comparés 13 282 saisons de joueurs, 25 cellules de comparaison, un rang sur un pool déclaré. |
rejoué | 3 | agrégats | 3 novembre | .ipynb · .json |
| 10 | Précarité Le taux de pauvreté métropolitain, recalculé depuis la source Filosofi. |
rejoué | 5 | agrégats | 3 novembre | .ipynb · .json |
| 11 | Outsiders Deux clubs, deux ligues, sept dimensions solides et trois mesures que la fiabilité interdit de citer. |
rejoué | 7 | agrégats | 3 novembre | .ipynb · .json |
« Niveau · agrégats » signifie que le notebook recalcule les chiffres publiés à partir d'un export du pipeline de l'étude, sans réentraîner les modèles. Ce n'est pas une reproductibilité complète, et chaque en-tête de notebook le dit.
Ce que chaque notebook assert vraiment.
Une ligne par chiffre publié. Si l'une tombait, le notebook n'écrirait pas son fichier de sortie, et cette page perdrait la ligne.
01 · Station Cerise · 7 assertions vertes, niveau « agrégats »
- 83 mesures testées
- 55 mesures retenues
- 33 168 matchs
- 6 saisons, dont 5 complètes
- 31 345 matchs couverts par Opta
- 10 des 20 colonnes par défaut tiennent une saison de titulaire
- 9 tombent, et la 20e n'est jamais classée (cumul non amortissable)
02 · Tirs au but · 4 assertions vertes, niveau « agrégats »
- 2 081 tirs
- 206 séances
- 1976-2026
- les intervalles se recouvrent
03 · Profils de passe · 4 assertions vertes, niveau « agrégats »
- 11 archétypes
- 19 profils de référence
- 16 conformes
- 3 attentes contredites nommées
04 · France, deux cycles · 4 assertions vertes, niveau « agrégats »
- 11 matchs
- 612 observations
- médianes brutes et ajustées des deux ères
- probabilité 0,71
05 · Tide · 3 assertions vertes, niveau « agrégats »
- 22 tirs
- 22 appariés
- tous sous 0,08
06 · Pause fraîcheur · 7 assertions vertes, niveau « agrégats »
- 232 matchs, 231 courbes
- 3 éditions
- chute de 43 % du momentum pendant la pause
- 6 % aux mêmes minutes en 2018-2022
- momentum revenu à son niveau dès la 30e minute
- 8 intervalles sur 8 traversent zéro
- blessures par match sans bénéfice en 2026
07 · Prénoms · 4 assertions vertes, niveau « complet »
- entropie féminine 0,62 en 1900
- entropie féminine 0,81 en 2025
- top 10 tous sexes 31 % en 1900
- top 10 tous sexes 6 % en 2025
08 · Cinéma · 4 assertions vertes, niveau « agrégats »
- 14 601 films
- 93 % en 1964
- 35 % en 2024
- -58 points
09 · Profils comparés · 3 assertions vertes, niveau « agrégats »
- 13 282 lignes
- 8 054 au-dessus de 900 minutes
- 25 cellules
10 · Précarité · 5 assertions vertes, niveau « agrégats »
- taux de pauvreté métropole 14,9 % en 2021
- 98 départements, dont 96 métropolitains
- indice composite de 2 à 60 en métropole, 100 à La Réunion
- corrélation chômage des 15-24 ans / pauvreté : 0,74
- 18 départements en double tension
11 · Outsiders · 7 assertions vertes, niveau « agrégats »
- 374 lignes équipe-match, 40 équipes, 10 matchs de Como et 9 de Brighton
- field tilt : 56,9 % pour Como (2e de Serie A), 57,8 % pour Brighton (3e de Premier League)
- Como premier de Serie A pour les passes (616,1), la réussite (90,0) et les entrées dans le dernier tiers (63,8)
- Brighton premier de Premier League pour les grosses occasions (4,00) et la conversion (15,9)
- 24 fiabilités split-half conformes au rapport de l'étude, au millième
- sept dimensions solides dans les deux ligues : field tilt, passes, réussite, dernier tiers et sa réussite, possession, différentiel xG
- PPDA non classable en Serie A (0,384), grosses occasions non classables en Premier League (0,283), conversion non classable en Serie A (0,329)
Ce qui reste non vérifié, et pourquoi.
Ces chiffres sont sur le site. Ils ne sont pas adossés au corpus disponible ici, donc leurs notebooks les déclarent non vérifiés au lieu de les asserter. Les pages d'étude qui les portent le disent.
- 03 · Profils de passe : scores de style et couvertures par cible : dans le dépôt de l'étude
- 06 · Pause fraîcheur : les intervalles sur d'autres fenêtres que celles publiées
- 09 · Profils comparés : la fiabilité de 0,65 sur une saison et 0,85 sur trois : fiabilités de composite, non recalculées ici ; la corrélation année sur année de l’exécution vaut 0,90, ce n’est pas la même quantité
- 11 · Outsiders : les cartes de zones, les flux et les profils de joueurs, qui viennent des événements bruts et ne sont pas recalculés ici ; la page n'affiche aucune moyenne de ligue, faute d'avoir à trancher entre exclure et compter à zéro les dix matchs sans indicateur de grosses occasions
Une commande, sans Jupyter.
Un notebook est du JSON. L'outil de rejeu lit ses cellules de code, les exécute dans l'ordre contre preuves/data/, et réécrit preuves/out/. Aucune installation au-delà de pandas et numpy, pas de noyau, pas de serveur de notebooks.
# état des onze études, sans rien exécuter python preuves/rejouer.py --liste # rejouer les onze qui ont leur corpus python preuves/rejouer.py 01 02 03 04 05 06 07 08 09 10 11 # contrôles indépendants et propriétés des estimateurs python preuves/verifier.py
Ce qu'un rejeu prouve : le code va de bout en bout sur cette donnée, et chaque chiffre publié est asserté plutôt que tapé. Ce qu'il ne prouve pas : que les modèles ont été réentraînés. Cette limite est écrite dans l'en-tête de chaque notebook, pas enfouie en bas de page.
Tous les voyants verts ne se valent pas.
| Niveau | Ce qu'il prouve | Ce qu'il ne prouve pas |
|---|---|---|
| 1 | Recalcul indépendant une seconde implémentation, sans pandas, relit la source brute et retrouve le chiffre publié | rien de plus que le chiffre comparé |
| 2 | Propriétés l'estimateur se comporte correctement sur ses cas limites | que la donnée réelle produise ces cas |
| 3 | Exécution le notebook va de bout en bout sur un corpus conforme à son schéma | que les chiffres de la page soient justes |
Une étude ne compte comme validée qu'au niveau 1. Onze des onze atteignent le niveau 2 ou 3 ; le tableau ci-dessus dit lesquelles, étude par étude.