Guide officiel de la navigation intérieure dressé par les soins du Ministère des travaux publics — Office national de la navigation. France