Backtrack commit précédent (incompatible avec le choix de prendre Idtac comme défaut pour ne rien faire)
Backtrack commit précédent (incompatible avec le choix de prendre Idtac comme défaut pour ne rien faire)


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

SamB/coq