1: \begin{definition}\label{def_ict}

2: Let  ${\sf f}_1, \dots, {\sf f}_{n-k}$ be as

3: in Theorem \ref{base}.

4: We denote by 

5: ${\mathcal I}_C^t$ the ideal in $\FF_q[X, \tilde X]$ generated by :

6: $$

7:   \{ x_i^q-x_i,\tilde{x_i}^q-\tilde{x_i} \mid 1\leq i\leq k \} \cup

8:   \{ {\sf m} (L_{n,k,t} ) \mid 

9:       {\sf m} \in\mathcal{M}_{n,t} \} \,.

10: $$

11: \end{definition}

12: