coq_spw_bordure