function search_ressorts_checkall(){
    $$('.search_ressort').each(function(input) {
      input.checked = $('sressort_all').checked;
    });
}

function search_ressorts_check(id){
    if(!$('ressort_' + id).checked){
        $('sressort_all').checked = false;
    }
}