Preuve du lemme de Liouville — détectée en avance | EarlyForge Pulse