Formalization of the Arabic grammatical category (V-a) using the NooJ platform. - Ahmed Bounoua; Ahmed Zinedine; Mohamed El Hannach; Rachida Kasmi (LOPAL, 2018)