For more information on how to edit the <filename>inputrc</filename> file, see <command>info bash</command> under the <emphasis>Readline Init File</emphasis> section. <command>info readline</command> is also a good source of information.
Pour plus d'informations sur l'édition du fichier <filename>inputrc</filename>, voir <command>info bash</command> à la section <emphasis>Fichier d'initialisation Readline</emphasis> (ou <emphasis>Readline Init File</emphasis>). <command>info readline</command> est aussi une bonne source d'informations.