function terminer()
{
if (!self::$no_debug) {
self::$debug_text = '
<div style="border: 1px solid black; margin: 5px; background-color: white; color: black; text-align: left; font-size: 11px;">
<div style="border-bottom: 1px solid black; margin: 0; padding: 5px; background-color: #f0f0f0; font-weight: bold;">Information de debug du parser</div>
<pre style="margin: 0; padding: 5px; height: 200px; overflow: scroll;">' . self::$debug_text . '</pre></div>';
}
}
