Visibilité des Rewrite Hint dès le chargement du module, sans nécessiter sans ouverture, comme c'est le cas pour les autres Hints
Visibilité des Rewrite Hint dès le chargement du module, sans nécessiter sans ouverture, comme c'est le cas pour les autres Hints

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

SamB/coq