Ajouter ACSL-importer à la liste des plug-ins

Rajouter au groupe "Specification of code properties".

Écrire un petit résumé du plug-in, peut-être un exemple d'utilisation (avec une boucle, par exemple).