Doc: removed non-compliant characters in citation labels that would create problems with Sphinx v1.6+ (see https://github.com/sphinx-doc/sphinx/issues/3917).