Code Vagnon, plongée — Denis Jeant