Variations of porosity in a sheared pressurized layer of saturated soil induced by vertical drainage of water