Mentions légales du service
When specifying --parse-cocci on the commande line, the c files listed as arguments in the cocci file are ignored