La Marine nationale dans la guerre d’Indochine, 1946-1954