Making git ignore the 'dvi' files
Adding exploitable 'grammaire' compend in JSON format