nouveau fichier: coq.vim
modifié:         tex.vim