Manuel du petit charpentier de marine - Bonnet, Claude (Desforges, Girardot, 1926)