t required in normal use, or used for special functions. Please
read this documentation before modifying these settings.</p>

<hr size="1" color="#C0C0C0">

<p>It is possible to set back the default values by selecting
sections or parameters to restore, then using the <em>Restore</em>
button. The selection of sections or parameters is done by:</p>

<ul>
    <li>pushing the <em>Select</em> button, then checking the
        lines of interest,</li>
    <li>or pushing the <em>Select all</em> button.</li>
</ul>
