Dragages de Cochinchine. Canal Rachgia-Hatian — Indochine française. Inspection générale des travaux publics