Localisation des libraries compilées uniquement via la structure du loadpath (sinon des modules de même nom chargés via un Export sont trouvés avant ceux officiellement dans le chemin)
Localisation des libraries compilées uniquement via la structure du loadpath (sinon des modules de même nom chargés via un Export sont trouvés avant ceux officiellement dans le chemin)


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

SamB/coq