coq exposé pour branlette dur