modifié:         ftplugin/coq.vim