Cascade de Gairaut, ouvrage terminal du canal de la Vésubie