coq ecrase

.