Désinfectants à usage industriel et domestique, voir71.100.35