Réduction analytique et certification compacte L = 7 du problème de Collatz : sources contrôlées et frontière −1 source-compatible | Synapse