覆工コンクリートの打設中に発生した「空隙」を埋めるために行われる処置はどれか。

天端部などにできた隙間は地山の安定を損なうため、硬化後にセメントミルク等を注入して充填する。