Chou, Gao et Zhang en Coq - 29/67