Les métiers de la voile : Christoph Eberhardt, charpentier de marine