(PHP 3 >= 3.0.3, PHP 4, PHP 5)
ifx_num_rows() compte le nombre de lignes déjà lues dans le résultat result_id après ifx_query() ou ifx_do().