Désinfectants à usage industriel et domestique, voir 71.100.35