The VDM Extractor2 : a symfony experience!