– USINE HERRENKNECHT, FABRICATION DE TUNNELIERS POUR LE GRAND PARIS EXPRESS –