copulator to Coq-Smokeur