L'arsenal de Toulon, après les bombardements (10 juin 1945).