"Lagrange-class submarine" . . . .