décoration var et boption pour fichier dans parser.mly