The Germans started their offensive in May. Took Paris in mid-June. The French sunk their ships in NOVEMBER!
Not like there wasn’t enough time to paddle them to Liverpool for the Brits to use. The German Navy’s Bismarck has long since been sunk. Their navy was nearly completely shot by then. The chances of them being attacked while fleeing to the UK were nil.
They had months to take offensive action or reposition but they sat on their hands.
The French Navy followed the orders of the Vichy Government. Not enough fuel to get to North Africa, let alone the UK, the Vichy government assented to that demand by the Germans.
That’s November 27th 1942, Paris fell to the Germans in 1940.