Chou, Gao et Zhang en Coq - 67/67