As a rough estimate, for a color camera, you'll need about 7 lux per fps at f/2 and 360 degree shutter.
So at 4000fps, you'd need about 4000fps * 7 = 28,000 lux. If you want to run f/4, you'll need 4x as much light, so 110,000 lux which is about noon day sunlight
I'm afraid you'll need far more light than those Manfrotto lights will provide, unless you're putting them right next to the subject. At 1m (3') distance you'd need 18 of those lights for f/2 4000fps