<p>J’ai répondu à ma propre question, grâce à la <a href="https://www.rfc-editor.org/rfc/rfc2132">RFC 2132</a> :</p>
<pre><code class="lang-auto">dhcp-option=6,192.168.0.90,192.168.0.98
</code></pre>
<p>Cependant, la RFC 2132 spécifie l’option 5 comme une liste de serveurs de noms et l’option 6 comme une liste de serveurs de noms de domaine, et je ne suis pas sûr de la différence. Quoi qu’il en soit, l’option 6 les a correctement placés sous la forme :</p>
<pre><code class="lang-auto">nameserver 192.168.0.90
nameserver 192.168.0.98
</code></pre>
<p>dans /etc/resolv.conf</p>