I talked with Christian, he is not the original author and forgot where it came from, probably some coq-club mail.