Débouché du Provo Canyon vers le canal d\'irrigation