Concordance de Haller: COQ