Pistolet utilisé dans la marine