Hr de Lavals undervattensbåt,