ajout d'un numéro aux clauses si VERBOSE > 0 (pour afficher des messages de debug)