Richelieu, dans le port de Dakar, entouré de filets (26 Septembre 1940)