Chou, Gao et Zhang en Coq - 32/67