Un homme, des manuscrits,
et cinquante ans de patience
Ce programme n’a pas été dirigé. Il a été attiré — vers l’attracteur λ = 1/√7, par les données elles-mêmes.
Avant d’être un programme de recherche formalisé en Lean 4, avant d’être une architecture spectrale en dimension 7, Couret–Unification est d’abord une histoire humaine. Celle d’un grand-père et de son petit-fils, séparés par le temps mais unis par une même obsession : l’ordre secret des nombres premiers.
Bernard Couret (1928–1999), homme de foi catholique profonde, a consacré près de cinquante ans à des recherches mathématiques solitaires, sans publication formelle, dans un contexte pré-informatique. Travaillant sans formation formelle en algèbre abstraite, il utilisait des constructions géométriques — triangulations, grilles modulaires, tableaux systématiques — pour identifier le triplet {1, 11, 29} comme une configuration de régularité exceptionnelle parmi les huit classes copremères modulo 30.
Parmi ses contributions : une formule générative Z = aᵐ × √((kᵐ + 1)/2) avec base a = 140, un système de progressions triangulaires T(n) = n × 140, et une notation cryptographique personnelle — ⊕ pour l’addition modulaire, ⊗ pour la multiplication avec report, ◊ pour les progressions, △ pour les triangles primitifs.
Alexandre Couret a reconstitué cet héritage — scan 1200 dpi, OCR personnalisé, validation Python — et l’a porté dans le langage de la mathématique contemporaine. La formalisation algébrique (2025–2026) a commencé par reconnaître que (ℤ/30ℤ)× ≅ C₂ × C₄ et que la transformée de Fourier sur ce groupe fournit le cadre correct.