Richelieu (Jean Bart) French battleship