CA-01-IV-coq