Canal de Nantes à Brest, réparations des dégâts causés par la crue du 7 novembre .