Coq-Smokeur view 1