pansarfartyget " Richelien " uti Toulons hamn.