Pour ceux qui souhaitent utiliser Coq sur leur machine personnelle,
qui doit au préalable comporter une version récente de Coq (au moins 8.9.0)
et coqide.

- récupérer untypedLC.v.gz de répertoire "secours",
  frère du répertoire courant, puis
$ gunzip untypedLC.v.gz
$ coqc untypedLC.v