Impact of compost and manure on the ripening of dredged sediments