- Prise en compte de Fail n (n>0) dans plusieurs cas qui avaient   disparus dès la version 1.11 de proofs/tacinterp.ml - Prise en compte du contexte de filtrage sous-terme du but dans   'match goal with' quand des hypothèses aussi sont filtrées ce qui   avait disparu dans la version 1.56 de proofs/tacinterp.ml - Restauration du filtrage sous-terme dans 'match c with' qui avait   disparu dans la version 1.27 de tactics/tacinterp.ml - Nettoyage
- Prise en compte de Fail n (n>0) dans plusieurs cas qui avaient
  disparus dès la version 1.11 de proofs/tacinterp.ml
- Prise en compte du contexte de filtrage sous-terme du but dans
  'match goal with' quand des hypothèses aussi sont filtrées ce qui
  avait disparu dans la version 1.56 de proofs/tacinterp.ml
- Restauration du filtrage sous-terme dans 'match c with' qui avait
  disparu dans la version 1.27 de tactics/tacinterp.ml
- Nettoyage


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

SamB/coq