Cokes et semi-cokes de houille, de lignite ou de tourbe, même agglomérés; charbon de cornue