Chou, Gao et Zhang en Coq - 46/67