Interdiction de nommer une constante comme une variable de section (plus simple que d'afficher en nom long...)
Interdiction de nommer une constante comme une variable de section (plus simple que d'afficher en nom long...)


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@2637 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq