Toulon 1942, le sabordage de la marine française