Samsung cède ses imprimantes à HP