implémentation de tableau dynamique et de la structure de données pour stocker les clauses