Travaux publics de la Marine — France. Ministère de la marine (1893-1947)