( vendu ) Canal du Midi, le déversoir