Perbandingan propeler konvensional dan pumpjet pada kapal selam kelas Redouable dan Tromphant.