Send a message to Association Coq Roche