Guide du chef mineur — Henri Giroud, Étienne Rolland