Arabic and symbol of multiplication

I have used the answer of the user @egreg

\DeclareRobustCommand{\timesr}{\fontfamily{artimes}\selectfont}
\let\times\relax
\DeclareMathSymbol{\times}{\mathbin}{symbols}{"02}

(see the link Problem with inserting the symbols \times and \omega when using arabi package)

\documentclass[12pt]{article}
\usepackage[utf8]{inputenc}
\usepackage{arabtex}
\usepackage{amsmath}
\usepackage{tikz}
\usepackage[arabic,french]{babel}
\usepackage{utf8}
\usepackage[T1]{fontenc}  % pour l'utilisation de 'french'
\DeclareRobustCommand{\timesr}{\fontfamily{artimes}\selectfont}
\let\times\relax
\DeclareMathSymbol{\times}{\mathbin}{symbols}{"02}

\title{Zéro}

\begin{document}

\maketitle
\setcode{utf8} 
zéro : 
\<صفر  >
\fg{} (\d{s}\u{\i}fr) 

\[ 0 \times 0 \]


\end{document}