REPLAY - Compilation et Obfuscation : prouver ou vérifier, telle est la question