Coq -- Dans la littérature