Study of charged hadron multiplicities in charged-current neutrino–lead interactions in the OPERA detector