ifx.default_user chaîne de caractères @item Utilisateur par défaut si aucun utilisateur n'est spécifié par les fonctions @xref{function.ifx-connect,,ifx_connect()} ou @xref{function.ifx-pconnect,,ifx_pconnect()}.
chaîne de caractères