Chou, Gao et Zhang en Coq - 63/67