Ear plugs for soundproofing, other than for medical use