1: \begin{definition}

2: Let~$(\Phi,U)$ and~$(\Phi',U')$ belong to~$\Indec_{\ss}(\,\Fl)$. Write~$(\Phi,U)$ as~

3: $[0,r_1-1]\otimes (\Phi_1,C_1)$ and~$(\Phi',U')$ as~$[0,r_2-1]\otimes (\Phi_2,C_2)$ with~$(\Phi_i,C_i)$ in 

4: $\Irr_{\ss}(\WD, \F_l)$ thanks to Proposition \ref{V_0} and Theorem \ref{indec classif}. In particular~$C_i$ is semisimple so~$C_1\otimes Id \oplus I_d\otimes C_2$ as well. Hence 

5: $[(\Phi_1,C_1)\otimes (\Phi_2,C_2)]_{\ss}$ is well defined according to Lemma \ref{C semi-simplification}. 

6: We then set 

7: \[(\Phi,U)\otimes_{\ss}(\Phi',U')= [0,r_1-1]\otimes [0,r_2-1] \otimes [(\Phi_1,C_1)\otimes (\Phi_2,C_2)]_{\ss}.\]

8: We the extend~$\otimes_{\ss}$ as an operation from~$\Rep_{\ss}(\WD, \Fl)\times \Rep_{\ss}(\WD, \Fl)$ to 

9: $\Rep_{\ss}(\WD, \Fl)$ by distributivity with respect to~$\otimes$.

10: \end{definition}

11: