with means for consolidating the rock in front of the shield by injection of consolidating substances through boreholes