Non smooth implicit differentiation